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

Probabilistic simulations for probabilistic processes

2005 ◽  
pp. 481-496 ◽  
Author(s):  
Roberto Segala ◽  
Nancy Lynch
Keyword(s):  
Probabilistic Processes

scholarly journals Invariants in process algebra with data

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

Verification of nonregular temporal properties for context-free processes

2005 ◽  
pp. 81-97 ◽  
Author(s):  
Ahmed Bouajjani ◽  
Rachid Echahed ◽  
Riadh Robbana
Keyword(s):  
Temporal Properties ◽  
Context Free

On the decidability of non-interleaving process equivalences

2005 ◽  
pp. 18-33 ◽  
Author(s):  
Astrid Kiehn ◽  
Matthew Hennessy

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

A symbolic semantics for the π-calculus — Extended abstract

2005 ◽  
pp. 299-314 ◽  
Author(s):  
Michele Boreale ◽  
Rocco Nicola
Keyword(s):  
Π Calculus

Geometry of interaction (abstract)

2005 ◽  
pp. 1-1
Author(s):  
Jean-Yves Girard
Load More ...
Sign in / Sign up

Export Citation Format

Share Document