Labelled Tableaux for Distributed Temporal Logic
From MaRDI portal
Publication:3656773
DOI10.1093/logcom/exp022zbMath1196.03044OpenAlexW2151582871MaRDI QIDQ3656773
Jaime Ramos, Luca Viganò, David A. Basin, Carlos Caleiro
Publication date: 14 January 2010
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: http://doc.rero.ch/record/302017/files/exp022.pdf
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Back from the future ⋮ A History of Until ⋮ A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations ⋮ Distributed temporal logic for the analysis of security protocol models ⋮ Event-based time-stamped claim logic
This page was built for publication: Labelled Tableaux for Distributed Temporal Logic