Vor Ort
Merkzettel Warenkorb
  • Produktbild: Structures in Concurrency Theory
  • Produktbild: Structures in Concurrency Theory

Structures in Concurrency Theory Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11–13 May 1995

Aus der Reihe Workshops in Computing

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.10.1995

Abbildungen

X, 352 p. 5 illus.

Herausgeber

Jörg Desel

Verlag

Springer Berlin

Seitenzahl

352

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

557 g

Auflage

Softcover reprint of the original 1st edition 1995

Sprache

Englisch

ISBN

978-3-540-19982-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.10.1995

Abbildungen

X, 352 p. 5 illus.

Herausgeber

Jörg Desel

Verlag

Springer Berlin

Seitenzahl

352

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

557 g

Auflage

Softcover reprint of the original 1st edition 1995

Sprache

Englisch

ISBN

978-3-540-19982-3

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Structures in Concurrency Theory
  • Produktbild: Structures in Concurrency Theory
  • 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.