The following pages link to (Q3191614):
Displaying 45 items.
- Input-output conformance testing for software product lines (Q338614) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- Product line process theory (Q898612) (← links)
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus (Q1641151) (← links)
- Verification of asynchronous systems with an unspecified component (Q1731830) (← links)
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation (Q1785863) (← links)
- A logic for the stepwise development of reactive systems (Q1786564) (← links)
- On the expressiveness of multiplicities in data-based coordination languages (Q1987734) (← links)
- Connecting open systems of communicating finite state machines (Q2011202) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- Hybrid dynamic logic institutions for event/data-based systems (Q2065557) (← links)
- A set automaton to locate all pattern matches in a term (Q2119959) (← links)
- Compositional verification of concurrent systems by combining bisimulations (Q2147689) (← links)
- Specification of systems with parameterised events: An institution-independent approach (Q2168786) (← links)
- Natural projection as partial model checking (Q2208303) (← links)
- Models and complexity of problems of design and reconstruction of telecommunication and transport systems (Q2263339) (← links)
- Towards `up to context' reasoning about higher-order processes (Q2286742) (← links)
- Model checking mobile ad hoc networks (Q2363813) (← links)
- Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) (← links)
- An efficient algorithm to determine probabilistic bisimulation (Q2633253) (← links)
- Decomposing monolithic processes in a process algebra with multi-actions (Q2693301) (← links)
- A probabilistic analysis of the Game of the Goose (Q2808273) (← links)
- Process Algebra and Model Checking (Q3176390) (← links)
- Dynamic Logic with Binders and Its Application to the Development of Reactive Systems (Q3179414) (← links)
- (Q3385650) (← links)
- Static Analysis of Dynamic Communication Systems by Partner Abstraction (Q3612006) (← links)
- To the correction of analytical models for computer based communication systems (Q3627294) (← links)
- (Q4453049) (← links)
- (Q5020944) (← links)
- (Q5028469) (← links)
- Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types (Q5041094) (← links)
- (Q5111623) (← links)
- (Q5129943) (← links)
- (Q5129950) (← links)
- Divergence and unique solution of equations (Q5228882) (← links)
- An <i>O</i> ( <i>m</i> log <i>n</i> ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation (Q5278211) (← links)
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints (Q5963087) (← links)
- Modelling mutual exclusion in a process algebra with time-outs (Q6053409) (← links)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
- Analysing AWN-Specifications Using mCRL2 (Extended Abstract) (Q6162221) (← links)
- Practical abstractions for automated verification of message passing concurrency (Q6536355) (← links)
- Simplifying process parameters by unfolding algebraic data types (Q6605372) (← links)
- A case in point: verification and testing of a EULYNX interface (Q6610254) (← links)
- Infinite choice and probability distributions. An open problem: the real hotel (Q6643743) (← links)
- Decomposing monolithic processes in a process algebra with multi-actions (Q6649542) (← links)
