Prefix and Projection onto State in Duration Calculus
From MaRDI portal
Publication:2842576
DOI10.1016/S1571-0661(04)80472-9zbMath1270.68169OpenAlexW2020762354MaRDI QIDQ2842576
Dimitar P. Guelev, Dang Van Hung
Publication date: 15 August 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80472-9
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Deriving Real-Time Action Systems Controllers from Multiscale System Specifications, An application of temporal projection to interleaving concurrency, RGITL: a temporal logic framework for compositional reasoning about interleaved programs, A temporal logic for micro- and macro-step-based real-time systems: foundations and applications
Cites Work