Linear time, branching time and partial order in logics and models for concurrency. School/workshop, Noordwijkerhout, The Netherlands, May 30- June 3, 1988. Proceedings

zbMath0683.68001MaRDI QIDQ1187645

No author found.

Publication date: 23 January 1993

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

ProceedingsWorkshopsemanticstemporal logicconcurrencyNoordwijkerhout (Netherlands)processesLinear time, branching time and partial orderLogics and models for concurrency

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items (max. 100)

Resource Bisimilarity in Petri Nets is Decidable ⋮ Automatizing parametric reasoning on distributed concurrent systems ⋮ Causal ambiguity and partial orders in event structures ⋮ Four domains for concurrency ⋮ Modelling causality via action dependencies in branching time semantics ⋮ Automatic verification of distributed systems: the process algebra approach. ⋮ A Bibliography of Willem-Paul de Roever ⋮ Minimal temporal epistemic logic ⋮ Unified mathematical framework for slicing and symmetry reduction over event structures

This page was built for publication: Linear time, branching time and partial order in logics and models for concurrency. School/workshop, Noordwijkerhout, The Netherlands, May 30- June 3, 1988. Proceedings