STRICT

Keyphrases

Publications

1995

Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
An M-net Semantics of B(PN)2. STRICT (1995)
Walter Vogler
Partial Order Semantics and Weak Fairness. STRICT (1995)
Arend Rensink
An Event-Based SOS for a Language with Refinement. STRICT (1995)
Antti Valmari
Failure-based Equivalences Are Faster Than Many Believe. STRICT (1995)
Proceedings of the International Workshop on Structures in Concurrency Theory, STRICT 1995, Berlin, Germany, May 11-13, 1995 STRICT (1995)
Alessio Guglielmi
Sequentiality by Linear Implication and Universal Quantification. STRICT (1995)
Roland Jégou, Raoul Medina, Lhouari Nourine
Linear Space Algorithm for On-line Detection of Global Predicates. STRICT (1995)
Laura Recalde, Enrique Teruel, Manuel Silva
On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes. STRICT (1995)
Rocco De Nicola, Rosario Pugliese
An Observational Semantics for Linda. STRICT (1995)
Roope Kaivola
A Simple Decision Method for the Linear Time Mu-calculus. STRICT (1995)
Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni
Keeping Track of the Latest Gossip in Message-Passing Systems. STRICT (1995)
S. Arun-Kumar, V. Natarajan
Conformance: A Precongruence close to Bisimilarity. STRICT (1995)
Iabelle Biermann, Brigitte Rozoy
Graphs for Generalized Traces. STRICT (1995)
Mila E. Majster-Cederbaum, Christel Baier
Metric completion versus ideal completion. STRICT (1995)
R. Ramanujam
A Local Presentation of Synchronizing Systems. STRICT (1995)
Piotr Chrzastowski-Wachtel, Marek Raczunas
Orbits, half-frozen tokens and the liveness of weighted circuits. STRICT (1995)
Raymond R. Devillers, Hanna Klaudel
Refinement and Recursion in a High Level Petri Box Calculus. STRICT (1995)
Karsten Schmidt
On the Computation of Place Invariants for Algebraic Petri Nets. STRICT (1995)
Ekkart Kindler, Rolf Walter
Message passing mutex. STRICT (1995)
Ernst-Rüdiger Olderog, Michael Schenke
Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications. STRICT (1995)
Eike Best, Raymond R. Devillers, Elisabeth Pelz, Arend Rensink, Manuel Silva, Enrique Teruel
CALIBAN - Esprit Basic Research WG 6067. STRICT (1995)
J. W. de Bakker
The Three Dimensions of Semantics. STRICT (1995)
Marta Kwiatkowska, Iain C. C. Phillips
Possible and Guaranteed Concurrency in CSP. STRICT (1995)
Luca Bernardinello, Giorgio De Michelis, Katia Petruni, Sebastiano Vigna
On The Synchronic Structure of Transition Systems. STRICT (1995)