scientific article; zbMATH DE number 4119598
From MaRDI portal
Publication:4733381
zbMath0683.68011MaRDI QIDQ4733381
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
temporal logicproof systemparallelism semanticsconcurrency specification\(\omega\)- regular language
Other nonclassical logic (03B60) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of operating systems (68N25)
Related Items (5)
Compositionality and bisimulation: A negative result ⋮ Temporal theories as modularisation units for concurrent system specification ⋮ \(\infty\)-regular temporal logic and its model checking problem ⋮ A Branching Time Logical System for Open Distributed Systems Development ⋮ Similarity saturation for first order linear temporal logic with UNLESS
This page was built for publication:
