scientific article; zbMATH DE number 4119602
From MaRDI portal
Publication:4733386
zbMath0683.68015MaRDI QIDQ4733386
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Partial orders, general (06A06) Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items (9)
A principle for sequential reasoning about distributed algorithms ⋮ Partial-Order Reduction ⋮ Behavioural characterizations of partial order logics ⋮ A logical characterization of well branching event structures ⋮ Defining conditional independence using collapses ⋮ On undecidability of propositional temporal logics on trace systems ⋮ Models and logics for true concurrency. ⋮ Partitioned PLTL model-checking for refined transition systems ⋮ Compositional verification of asynchronous concurrent systems using CADP
This page was built for publication:
