scientific article; zbMATH DE number 1377375
From MaRDI portal
Publication:4702960
zbMATH Open0935.03027MaRDI QIDQ4702960
Publication date: 13 December 1999
Title of this publication is not available (Why is that?)
Formal languages and automata (68Q45) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)
Related Items (5)
Title not available (Why is that?) ⋮ Bounded model checking distributed temporal logic ⋮ Title not available (Why is that?) ⋮ A Branching Time Logical System for Open Distributed Systems Development ⋮ A multiprocess network logic with temporal and spatial modalities
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 Q4702960)
