Lecture Notes in Computer Science - CONCURRENCY 88
Latest Publications

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540504030, 9783540459996

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Deterministic systems of sequential processes: Theory and tools

Lecture Notes in Computer Science - CONCURRENCY 88 ◽

10.1007/3-540-50403-6_52 ◽

1988 ◽

pp. 380-400 ◽

Author(s):

Younes Souissi ◽

Nicolas Beldiceanu

Keyword(s):

Deterministic Systems ◽

Sequential Processes

Download Full-text

Adequacy-preserving transformations of COSY path programs

Lecture Notes in Computer Science - CONCURRENCY 88 ◽

10.1007/3-540-50403-6_51 ◽

1988 ◽

pp. 368-379 ◽

Author(s):

Maciej Koutny

Download Full-text

The scope and limits of synchronous concurrent computation

Lecture Notes in Computer Science - CONCURRENCY 88 ◽

10.1007/3-540-50403-6_39 ◽

1988 ◽

pp. 161-180

Author(s):

K. Meinke ◽

J. V. Tucker

Keyword(s):

Concurrent Computation

Download Full-text

Weighted basic Petri nets

Lecture Notes in Computer Science - CONCURRENCY 88 ◽

10.1007/3-540-50403-6_44 ◽

1988 ◽

pp. 257-276 ◽

Author(s):

Eike Best

Keyword(s):

Download Full-text

Assertional verification of a majority consensus algorithm for concurrency control in multiple copy databases

Lecture Notes in Computer Science - CONCURRENCY 88 ◽

10.1007/3-540-50403-6_48 ◽

1988 ◽

pp. 320-334

Author(s):

Nicolien J. Drost ◽

J. Leeuwen

Keyword(s):

Concurrency Control ◽

Consensus Algorithm ◽

Multiple Copy ◽

Majority Consensus

Download Full-text

A state transformation equivalence for concurrent systems: Exhibited functionality-equivalence

Lecture Notes in Computer Science - CONCURRENCY 88 ◽

10.1007/3-540-50403-6_42 ◽

1988 ◽

pp. 222-236 ◽

Author(s):

Fiorella Cindio ◽

Giorgio Michelis ◽

Lucia Pomello ◽

Carla Simone

Keyword(s):

Concurrent Systems ◽

State Transformation

Download Full-text

A logic-functional approach to the execution of CCS specifications modulo behavioural equivalences

Lecture Notes in Computer Science - CONCURRENCY 88 ◽

10.1007/3-540-50403-6_40 ◽

1988 ◽

pp. 181-196 ◽

Author(s):

S. Gnesi ◽

P. Inverardi ◽

M. Nesi

Keyword(s):

Functional Approach

Download Full-text

On safety and timeliness in distributed data management (preliminary report)

Lecture Notes in Computer Science - CONCURRENCY 88 ◽

10.1007/3-540-50403-6_32 ◽

1988 ◽

pp. 64-72 ◽

Author(s):

Danny Dolev ◽

H. Raymond Strong

Keyword(s):

Data Management ◽

Preliminary Report ◽

Distributed Data ◽

Distributed Data Management

Download Full-text

Executing temporal logic: Review and prospects

Lecture Notes in Computer Science - CONCURRENCY 88 ◽

10.1007/3-540-50403-6_35 ◽

1988 ◽

pp. 104-105 ◽

Author(s):

Howard Barringer ◽

Dov Gabbay

Keyword(s):

Download Full-text

Total algorithms

Lecture Notes in Computer Science - CONCURRENCY 88 ◽

10.1007/3-540-50403-6_45 ◽

1988 ◽

pp. 277-291 ◽

Author(s):

Gerard Tel

Download Full-text