default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSTRICT 1995: Berlin, Germany
- Jörg Desel:
Proceedings of the International Workshop on Structures in Concurrency Theory, STRICT 1995, Berlin, Germany, May 11-13, 1995. Workshops in Computing, Springer 1995, ISBN 978-3-540-19982-3 - J. W. de Bakker:
The Three Dimensions of Semantics. 1 - Eike Best, Raymond Devillers, Elisabeth Pelz, Arend Rensink, Manuel Silva, Enrique Teruel:
CALIBAN - Esprit Basic Research WG 6067. 2-31 - Ernst-Rüdiger Olderog, Michael Schenke:
Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications. 32-54 - S. Arun-Kumar, V. Natarajan:
Conformance: A Precongruence close to Bisimilarity. 55-68 - Luca Bernardinello, Giorgio De Michelis, Katia Petruni, Sebastiano Vigna:
On The Synchronic Structure of Transition Systems. 69-84 - Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz:
An M-net Semantics of B(PN)2. 85-100 - Iabelle Biermann, Brigitte Rozoy:
Graphs for Generalized Traces. 101-115 - Piotr Chrzastowski-Wachtel, Marek Raczunas:
Orbits, half-frozen tokens and the liveness of weighted circuits. 116-128 - Rocco De Nicola, Rosario Pugliese:
An Observational Semantics for Linda. 129-143 - Raymond Devillers, Hanna Klaudel:
Refinement and Recursion in a High Level Petri Box Calculus. 144-159 - Alessio Guglielmi:
Sequentiality by Linear Implication and Universal Quantification. 160-174 - Roland Jégou, Raoul Medina, Lhouari Nourine:
Linear Space Algorithm for On-line Detection of Global Predicates. 175-189 - Roope Kaivola:
A Simple Decision Method for the Linear Time Mu-calculus. 190-204 - Ekkart Kindler, Rolf Walter:
Message passing mutex. 205-219 - Marta Kwiatkowska, Iain C. C. Phillips:
Possible and Guaranteed Concurrency in CSP. 220-235 - Mila E. Majster-Cederbaum, Christel Baier:
Metric completion versus ideal completion. 236-248 - Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni:
Keeping Track of the Latest Gossip in Message-Passing Systems. 249-263 - R. Ramanujam:
A Local Presentation of Synchronizing Systems. 264-278 - Laura Recalde, Enrique Teruel, Manuel Silva
:
On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes. 279-293 - Arend Rensink:
An Event-Based SOS for a Language with Refinement. 294-309 - Karsten Schmidt:
On the Computation of Place Invariants for Algebraic Petri Nets. 310-325 - Antti Valmari:
Failure-based Equivalences Are Faster Than Many Believe. 326-340 - Walter Vogler:
Partial Order Semantics and Weak Fairness. 341-350
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-29 00:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
