Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 02.09.2026 auf fremdsprachige Bücher in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel & eBooks. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Geschenkkarten, Versandkosten und Services.
  • Produktbild: Concur '91
  • Produktbild: Concur '91
Band 527

Concur '91 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.08.1991

Herausgeber

Jos C.M. Baeten + weitere

Verlag

Springer Berlin

Seitenzahl

549

Maße (L/B/H)

23,5/15,5/2,9 cm

Gewicht

888 g

Auflage

1991

Sprache

Englisch

ISBN

978-3-540-54430-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.08.1991

Herausgeber

Verlag

Springer Berlin

Seitenzahl

549

Maße (L/B/H)

23,5/15,5/2,9 cm

Gewicht

888 g

Auflage

1991

Sprache

Englisch

ISBN

978-3-540-54430-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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: Concur '91
  • Produktbild: Concur '91
  • Formal techniques for parallel object-oriented languages.- Causal models for rational algebraic processes.- Action and state-based logics for process algebras.- A tool set for deciding behavioral equivalences.- Causality based models for the design of concurrent systems.- Modal logics for mobile processes.- Towards a design calculus for communicating programs.- A theory of testing for ACP.- Real space process algebra.- The failure of failures in a paradigm for asynchronous communication.- Embedding as a tool for language comparison: On the CSP hierarchy.- A conditional operator for CCS.- Algebraic formulations of trace theory.- Compositional synthesis of live and bounded free choice Petri nets.- The observation algebra of spatial pomsets.- Synchrony loosening transformations for interacting processes.- A compositional model for layered distributed systems.- Process algebra with guards.- Model checking and modular verification.- Geometric logic, causality and event structures.- Extended Horn clauses: the framework and some semantics.- Action systems and action refinement in the development of parallel systems.- Invariant semantics of nets with inhibitor arcs.- Abstract timed observation and process algebra.- Simulations between specifications of distributed systems.- Using truth-preserving reductions to improve the clarity of kripke-models.- Completeness in real time process algebra.- Distributed CCS.- Time-constrained automata.- Relating processes with respect to speed.- Testing, betting and timed true concurrency.- Fairness in models with true concurrency.- Efficient verification of determinate processes.- Experiments on processes with backtracking.- Some finite-graph models for process algebra.- A method for the development of totally correct shared-state parallel programs.- Reduced labelled transition systems save verification effort.