Buch, Englisch, 352 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 557 g
Reihe: Workshops in Computing
Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11¿13 May 1995
Buch, Englisch, 352 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 557 g
Reihe: Workshops in Computing
ISBN: 978-3-540-19982-3
Verlag: Springer
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
The Three Dimensions of Semantics.- CALIBAN - Esprit Basic Research WG 6067.- Design of Real-Time Systems: Interface Between Duration Calculus and Program Specifications.- Conformance: A Precongruence Close to Bisimilarity.- On the Synchronic Structure of Transition Systems.- An M-Net Semantics of B(PN)2.- Graphs for Generalized Traces.- Orbits, Half-Frozen Tokens and the Liveness of Weighted Circuits.- An Observational Semantics for Linda.- Refinement and Recursion in a High Level Petri Box Caluculus.- Sequentiality by Linear Implication and Universal Quantification.- Linear Space Algorithm for On-Line Detection of Global Predicates.- A Simple Decision Method for the Linear Time Mu-Calculus.- Message Passing Mutex.- Possible and Guaranteed Concurrency in CSP.- Metric Completion Versus Ideal Completion.- Keeping Track of the Latest Gossip in Message-Passing Systems.- A Local Presentation of Synchronizing Systems.- On Well-Formedness Analysis: The Case of Deterministic Systems of Sequential Processes.- An Event-Based SOS for a Language with Refinement.- On the Computation of Place Invariants for Algebraic Petri Nets.- Failure-Based Equivalences Are Faster Than Many Believe.- Partial Order Semantics and Weak Fairness.- Author Index.