scientific article; zbMATH DE number 1927553
From MaRDI portal
Publication:4484477
zbMath1012.03027MaRDI QIDQ4484477
Publication date: 12 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2421/24210057.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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 (4)
Limiting Until in Ordered Tree Query Languages ⋮ Future temporal logic needs infinitely many modalities ⋮ Arity hierarchy for temporal logics ⋮ \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\)
This page was built for publication:
