CONCUR 2002 — Concurrency Theory - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

39
(FIVE YEARS 0)

H-INDEX

14
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540440437, 9783540456940
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Types for Cryptographic Protocols

2002 ◽  
pp. 99-100
Author(s):  
Andrew D. Gordon
Keyword(s):  
Cryptographic Protocols

Reducing Model Checking from Multi-valued CTL* to CTL*

2002 ◽  
pp. 226-239 ◽  
Author(s):  
Beata Konikowska ◽  
Wojciech Penczek
Keyword(s):  
Model Checking

Introduction to Modal and Temporal Mu-Calculi

2002 ◽  
pp. 98-98
Author(s):  
Julian C. Bradfield

Causality Semantics of Petri Nets with Weighted Inhibitor Arcs

2002 ◽  
pp. 531-546 ◽  
Author(s):  
H. C. M. Kleijn ◽  
M. Koutny
Keyword(s):  
Petri Nets

HOPLA—A Higher-Order Process Language

2002 ◽  
pp. 434-448 ◽  
Author(s):  
Mikkel Nygaard ◽  
Glynn Winskel
Keyword(s):  
Higher Order ◽  
Order Process

Axiomatizing an Algebra of Step Reactions for Synchronous Languages

2002 ◽  
pp. 386-401
Author(s):  
Gerald Lüttgen ◽  
Michael Mendler
Keyword(s):  
Synchronous Languages

scholarly journals Typing and Subtyping Mobility in Boxed Ambients*

2002 ◽  
pp. 304-320 ◽  
Author(s):  
Massimo Merro ◽  
Vladimiro Sassone

Regular Model Checking Made Simple and Effcient*

2002 ◽  
pp. 116-131 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
Bengt Jonsson ◽  
Marcus Nilsson ◽  
Julien d'Orso
Keyword(s):  
Model Checking ◽  
Regular Model ◽  
Regular Model Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document