C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
REX School/Symposium
1993
1993
1993
Keyphrases
Publications
1993
Joachim Parrow
Interaction Diagrams.
REX School/Symposium
(1993)
Wolfgang Thomas
,
Helmut Lescow
Logical Specifications of Infinite Computations.
REX School/Symposium
(1993)
Job Zwiers
,
Wil Janssen
Partial Order Based Design of Concurrent Systems.
REX School/Symposium
(1993)
Uffe Engberg
,
Glynn Winskel
Linear Logic on Petri Nets.
REX School/Symposium
(1993)
Joachim Parrow
,
Davide Sangiorgi
Algebraic Theories for Name-Passing Calculi.
REX School/Symposium
(1993)
Kurt Jensen
An Introduction to the Theoretical Aspects of Coloured Petri Nets.
REX School/Symposium
(1993)
Edmund M. Clarke
,
Orna Grumberg
,
David E. Long
Verification Tools for Finite-State Concurrent Systems.
REX School/Symposium
(1993)
Albert Benveniste
,
Paul Caspi
,
Paul Le Guernic
,
Nicolas Halbwachs
Data-Flow Synchronous Languages.
REX School/Symposium
(1993)
Nancy A. Lynch
Simulation Techniques for Proving Properties of Real-Time Systems.
REX School/Symposium
(1993)
Gérard Boudol
Some Chemical Abstract Machines.
REX School/Symposium
(1993)
Leslie Lamport
Verification and Specifications of Concurrent Programs.
REX School/Symposium
(1993)
Jan A. Bergstra
,
Alban Ponse
,
Jos van Wamel
Process Algebra with Backtracking.
REX School/Symposium
(1993)
Jan J. M. M. Rutten
,
Daniele Turi
Initial Algebra and Final Coalgebra Semantics for Concurrency.
REX School/Symposium
(1993)
Mogens Nielsen
,
Vladimiro Sassone
,
Glynn Winskel
Relationships Between Models of Concurrency.
REX School/Symposium
(1993)
Yonit Kesten
,
Zohar Manna
,
Amir Pnueli
Temporal Verification of Simulation and Refinement.
REX School/Symposium
(1993)