Realizable temporal logics for web service choreography
From MaRDI portal
Publication:739636
DOI10.1016/j.jlamp.2016.06.002zbMath1348.68148MaRDI QIDQ739636
Publication date: 18 August 2016
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2016.06.002
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
68M11: Internet topics