The following pages link to Frontiers of Combining Systems (Q5491894):
Displayed 12 items.
- Interface theories for concurrency and data (Q549177) (← links)
- Constraint Markov chains (Q554215) (← links)
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (Q633299) (← links)
- On timed alternating simulation for concurrent timed games (Q715043) (← links)
- Solving games via three-valued abstraction refinement (Q979079) (← links)
- Generalized interface automata with multicast synchronization (Q1633060) (← links)
- Partition refinement of component interaction automata (Q1951613) (← links)
- A linear-time branching-time perspective on interface automata (Q2182669) (← links)
- Error-pruning in interface automata (Q2517232) (← links)
- Building a Modal Interface Theory for Concurrency and Data (Q2890318) (← links)
- New Results on Timed Specifications (Q2890330) (← links)
- Compositional Abstraction in Real-Time Model Checking (Q3543301) (← links)