Lecture Notes in Computer Science - CONCUR '91
Latest Publications

TOTAL DOCUMENTS

37

(FIVE YEARS 0)

H-INDEX

12

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540544302, 9783540383574

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Abstract timed observation and process algebra

Lecture Notes in Computer Science - CONCUR '91 ◽

10.1007/3-540-54430-5_98 ◽

1991 ◽

pp. 332-345 ◽

Author(s):

Alan Jeffrey

Keyword(s):

Process Algebra

Download Full-text

Efficient verification of determinate processes

Lecture Notes in Computer Science - CONCUR '91 ◽

10.1007/3-540-54430-5_107 ◽

1991 ◽

pp. 470-479 ◽

Author(s):

Huajun Qin

Keyword(s):

Efficient Verification

Download Full-text

The observation algebra of spatial pomsets

Lecture Notes in Computer Science - CONCUR '91 ◽

10.1007/3-540-54430-5_89 ◽

1991 ◽

pp. 188-202 ◽

Author(s):

Gian Luigi Ferrari ◽

Ugo Montanari

Download Full-text

Time-constrained automata

Lecture Notes in Computer Science - CONCUR '91 ◽

10.1007/3-540-54430-5_103 ◽

1991 ◽

pp. 408-423 ◽

Author(s):

Michael Merritt ◽

Francesmary Modugno ◽

Mark R. Tuttle

Download Full-text

Causal models for rational algebraic processes

Lecture Notes in Computer Science - CONCUR '91 ◽

10.1007/3-540-54430-5_76 ◽

1991 ◽

pp. 18-19

Author(s):

Amar Bouali ◽

Robert de Simone

Keyword(s):

Download Full-text

Reduced labelled transition systems save verification effort

Lecture Notes in Computer Science - CONCUR '91 ◽

10.1007/3-540-54430-5_111 ◽

1991 ◽

pp. 526-540 ◽

Author(s):

Antti Valmari ◽

Matthew Clegg

Keyword(s):

Transition Systems ◽

Labelled Transition Systems

Download Full-text

Embedding as a tool for language comparison: On the CSP hierarchy

Lecture Notes in Computer Science - CONCUR '91 ◽

10.1007/3-540-54430-5_85 ◽

1991 ◽

pp. 127-141 ◽

Author(s):

Frank S. Boer ◽

Catuscia Palamidessi

Download Full-text

A method for the development of totally correct shared-state parallel programs

Lecture Notes in Computer Science - CONCUR '91 ◽

10.1007/3-540-54430-5_110 ◽

1991 ◽

pp. 510-525 ◽

Author(s):

Ketil Stølen

Keyword(s):

Parallel Programs ◽

Download Full-text

Real space process algebra

Lecture Notes in Computer Science - CONCUR '91 ◽

10.1007/3-540-54430-5_83 ◽

1991 ◽

pp. 96-110 ◽

Author(s):

J. C. M. Baeten ◽

J. A. Bergstra

Keyword(s):

Process Algebra ◽

Download Full-text

Extended Horn clauses: the framework and some semantics

Lecture Notes in Computer Science - CONCUR '91 ◽

10.1007/3-540-54430-5_95 ◽

1991 ◽

pp. 281-297 ◽

Author(s):

Jean-Marie Jacquet ◽

Luís Monteiro

Keyword(s):

Download Full-text