Frontiers of Combining Systems
From MaRDI portal
Publication:5491894
DOI10.1007/11559306zbMath1171.68837OpenAlexW4205914269MaRDI QIDQ5491894
Pritam Roy, Leandro Dias da Silva, Luca de Alfaro, Marco Faella, Axel Legay, Maria Sorea
Publication date: 10 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11559306
Formal languages and automata (68Q45) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)
Related Items (13)
Building a Modal Interface Theory for Concurrency and Data ⋮ New Results on Timed Specifications ⋮ Generalized interface automata with multicast synchronization ⋮ A linear-time branching-time perspective on interface automata ⋮ Interface automata for shared memory ⋮ Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects ⋮ Partition refinement of component interaction automata ⋮ Compositional Abstraction in Real-Time Model Checking ⋮ Interface theories for concurrency and data ⋮ Constraint Markov chains ⋮ Solving games via three-valued abstraction refinement ⋮ On timed alternating simulation for concurrent timed games ⋮ Error-pruning in interface automata
This page was built for publication: Frontiers of Combining Systems
