scientific article
From MaRDI portal
Publication:3818306
zbMath0666.03023MaRDI QIDQ3818306
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
temporal logicpolymodal logicsdistance function for time momentsfirst- order conditions over linear orderingsmetric superstructurenon- identity of possible worldsspecifications of message passing systemsspecifications using formal logictime critical systems
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Theory of operating systems (68N25)
Related Items (11)
Refinement of events in the development of real-time distributed systems ⋮ A deontic approach to database integrity ⋮ Taming logic ⋮ Unnamed Item ⋮ Language in action ⋮ Formal timing analysis of distributed systems ⋮ An introduction to compositional methods for concurrency and their application to real-time. ⋮ Design of a PLC control program for a batch plant VHS case study 1 ⋮ Dealing with zero-time transitions in axiom systems. ⋮ Modal logic with names ⋮ Expressibility of output equals input. Negative and positive results
This page was built for publication:
