Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 05.10.2026 ab einem Mindestbestellwert von 30€ auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher und Hörbuch-Downloads, nicht preisgebundene Bücher und Kalender online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Nur gültig mit im Onlineshop hinterlegter Bonuscard. 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 Versandkosten und Services. Preisgebundene Artikel sind vom Mindestbestellwert ausgeschlossen.
  • Produktbild: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
  • Produktbild: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
Band 354

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988

Aus der Reihe Lecture Notes in Computer Science

99,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.03.1989

Abbildungen

X, 718 p.

Herausgeber

Jacobus W. de Bakker + weitere

Verlag

Springer Berlin

Seitenzahl

718

Maße (L/B/H)

23,5/15,5/3,9 cm

Gewicht

1083 g

Auflage

1989

Sprache

Englisch

ISBN

978-3-540-51080-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.03.1989

Abbildungen

X, 718 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

718

Maße (L/B/H)

23,5/15,5/3,9 cm

Gewicht

1083 g

Auflage

1989

Sprache

Englisch

ISBN

978-3-540-51080-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

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: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
  • Produktbild: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
  • Time, logic and computation.- Process theory based on bisimulation semantics.- Branching time temporal logic.- Observing processes.- The anchored version of the temporal framework.- Basic notions of trace theory.- An introduction to event structures.- A logic for the description of behaviours and properties of concurrent systems.- Permutation of transitions: An event structure semantics for CCS and SCCS.- Expressibility results for linear-time and branching-time logics.- Partial orderings descriptions and observations of nondeterministic concurrent processes.- Modeling concurrency by partial orders and nonlinear transition systems.- An efficient verification method for parallel and distributed programs.- A logic for distributed transition systems.- Fully abstract models for a process language with refinement.- Strong bisimilarity on nets: A new concept for comparing net semantics.- Nets of processes and data flow.- Towards a temporal logic for causality and choice in distributed systems.- Correctness and full abstraction of metric semantics for concurrency.- Temporal logics for CCS.- Behavioural presentations.- Computation tree logic and regular ?-languages.