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

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

1991 ◽  
pp. 127-141 ◽  
Author(s):  
Frank S. Boer ◽  
Catuscia Palamidessi

Abstract timed observation and process algebra

1991 ◽  
pp. 332-345 ◽  
Author(s):  
Alan Jeffrey
Keyword(s):  
Process Algebra

Efficient verification of determinate processes

1991 ◽  
pp. 470-479 ◽  
Author(s):  
Huajun Qin
Keyword(s):  
Efficient Verification

The observation algebra of spatial pomsets

1991 ◽  
pp. 188-202 ◽  
Author(s):  
Gian Luigi Ferrari ◽  
Ugo Montanari

Time-constrained automata

1991 ◽  
pp. 408-423 ◽  
Author(s):  
Michael Merritt ◽  
Francesmary Modugno ◽  
Mark R. Tuttle

Causal models for rational algebraic processes

1991 ◽  
pp. 18-19
Author(s):  
Amar Bouali ◽  
Robert de Simone
Keyword(s):  
Causal Models

Reduced labelled transition systems save verification effort

1991 ◽  
pp. 526-540 ◽  
Author(s):  
Antti Valmari ◽  
Matthew Clegg
Keyword(s):  
Transition Systems ◽  
Labelled Transition Systems

A tool set for deciding behavioral equivalences

1991 ◽  
pp. 23-42 ◽  
Author(s):  
Jean-Claude Fernandez ◽  
Laurent Mounier
Keyword(s):  
Tool Set

Compositional synthesis of live and bounded free choice Petri nets

1991 ◽  
pp. 172-187 ◽  
Author(s):  
Javier Esparza ◽  
Manuel Silva
Keyword(s):  
Petri Nets ◽  
Free Choice ◽  
Compositional Synthesis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document