Search results for "STRICT"

Found 24 publication records. Showing 24 according to the selection in the facets

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

Publications at "STRICT"( http://dblp.L3S.de/Venues/STRICT )