Lecture Notes in Computer Science - CONCURRENCY 88
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540504030, 9783540459996

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Weighted basic Petri nets

Lecture Notes in Computer Science - CONCURRENCY 88 ◽

10.1007/3-540-50403-6_44 ◽

1988 ◽

pp. 257-276 ◽

Cited By ~ 8

Author(s):

Eike Best

Keyword(s):

Petri Nets

Download Full-text

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 ◽

Cited By ~ 13

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 ◽

Cited By ~ 2

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

Executing temporal logic: Review and prospects

Lecture Notes in Computer Science - CONCURRENCY 88 ◽

10.1007/3-540-50403-6_35 ◽

1988 ◽

pp. 104-105 ◽

Cited By ~ 2

Author(s):

Howard Barringer ◽

Dov Gabbay

Keyword(s):

Temporal Logic

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 ◽

Cited By ~ 8

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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 2

Author(s):

Danny Dolev ◽

H. Raymond Strong

Keyword(s):

Data Management ◽

Preliminary Report ◽

Distributed Data ◽

Distributed Data Management

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

Temporal logic and causality in concurrent systems

Lecture Notes in Computer Science - CONCURRENCY 88 ◽

10.1007/3-540-50403-6_37 ◽

1988 ◽

pp. 121-139 ◽

Cited By ~ 17

Author(s):

Wolfgang Reisig

Keyword(s):

Temporal Logic ◽

Concurrent Systems

Download Full-text

Lecture Notes in Computer Science - CONCURRENCY 88Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Weighted basic Petri nets

Deterministic systems of sequential processes: Theory and tools

Adequacy-preserving transformations of COSY path programs

The scope and limits of synchronous concurrent computation

Executing temporal logic: Review and prospects

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

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

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

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

Temporal logic and causality in concurrent systems

Lecture Notes in Computer Science - CONCURRENCY 88
Latest Publications