User: Guest  Login
If you experience problems opening the document, please try this link.
Title:

Stratified guarded first-order transition systems

Document type:
Zeitschriftenaufsatz
Author(s):
Müller, Christian ; Seidl, Helmut
Keywords:
Article ; First-order transition systems ; Multi-agent systems ; Universal invariants ; Noninterference ; Decidability ; Information and Computing Sciences
Journal title:
Formal Methods in System Design
Year:
2022
Pages contribution:
1-31
Fulltext / DOI:
doi:10.1007/s10703-022-00404-9
Publisher:
Springer US
E-ISSN:
0925-9856 ; 1572-8102
Date of publication:
22.11.2022
 BibTeX