scientific article
From MaRDI portal
Publication:4035260
zbMATH Open0777.03009MaRDI QIDQ4035260
Publication date: 18 May 1993
Title of this publication is not available (Why is that?)
finite model propertylogic with structural operators for sequential and parallel compositionnet logicstate spaces of occurrence nets
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (5)
Title not available (Why is that?) ⋮ A Temporal Logic for Multi-threaded Programs ⋮ Temporal semantics for concurrent METATEM ⋮ Weakest precondition semantics for time and concurrency ⋮ Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4035260)
