CONCUR '94: Concurrency Theory - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

74
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540583295, 9783540486541
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Invariants in process algebra with data

2005 ◽  
pp. 401-416 ◽  
Author(s):  
Marc Bezem ◽  
Jan Friso Groote
Keyword(s):  
Process Algebra

SProc categorically

2005 ◽  
pp. 146-159
Author(s):  
J. R. B. Cockett ◽  
D. A. Spooner

Fully abstract characterizations of testing preorders for probabilistic processes

2005 ◽  
pp. 497-512 ◽  
Author(s):  
Shoji Yuen ◽  
Rance Cleaveland ◽  
Zeynep Dayar ◽  
Scott A. Smolka
Keyword(s):  
Probabilistic Processes

Model-based verification methods and tools (abstract)

2005 ◽  
pp. 64-64
Author(s):  
J. C. Fernandez ◽  
J. Sifakis ◽  
R. Simone
Keyword(s):  
Model Based ◽  
Verification Methods
Load More ...
Sign in / Sign up

Export Citation Format

Share Document