Vor Ort
Merkzettel Warenkorb
  • 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, Nordwijkerhout, The Netherlands, May 30 - June 3, 1988

Aus der Reihe Lecture Notes in Computer Science

97,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.03.1989

Herausgeber

Jacobus W. de Bakker + weitere

Verlag

Springer Berlin

Seitenzahl

718

Maße (L/B/H)

23,5/15,5/3,8 cm

Gewicht

1083 g

Auflage

1989

Sprache

Englisch

ISBN

978-3-540-51080-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.03.1989

Herausgeber

Verlag

Springer Berlin

Seitenzahl

718

Maße (L/B/H)

23,5/15,5/3,8 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: 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: 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.