The following pages link to MWB (Q16571):
Displayed 32 items.
- Computing strong and weak bisimulations for psi-calculi (Q444457) (← links)
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
- Encoding cryptographic primitives in a calculus with polyadic synchronisation (Q540687) (← links)
- Global computing in a dynamic network of tuple spaces (Q859968) (← links)
- A compositional Petri net translation of general \(\pi\)-calculus terms (Q939164) (← links)
- A theory of structural stationarity in the \(\pi\)-calculus (Q1014276) (← links)
- A two-phase approach for design of supervisory controllers for robot cells: Model checking and Markov decision models (Q1383074) (← links)
- Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types (Q1770362) (← links)
- A partition refinement algorithm for the \(\pi\)-calculus (Q1854406) (← links)
- Behavior analysis for validating communication patterns (Q1856180) (← links)
- Symbolic transition graph and its early bisimulation checking algorithms for the \(\pi\)-calculus (Q1962485) (← links)
- Computing bisimulations for finite-control \(\pi\)-calculus (Q1966507) (← links)
- Modeling ontology evolution via pi-calculus (Q1991883) (← links)
- A static analysis of cryptographic processes: the denotational approach (Q2484412) (← links)
- A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets (Q2848363) (← links)
- Self-assembling Trees (Q2866313) (← links)
- Formalising the pi-calculus using nominal logic (Q3395094) (← links)
- ACVisualizer: A visualization tool for APi-calculus (Q3542780) (← links)
- Modelling and Verifying Mobile Systems Using π-Graphs (Q3599092) (← links)
- Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus (Q3613062) (← links)
- Algebra and logic for resource-based systems modelling (Q3643362) (← links)
- A Logical and Computational Theory of Located Resource (Q3656772) (← links)
- From a concurrent λ-calculus to the π-calculus (Q5055881) (← links)
- (Q5155663) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311472) (← links)
- PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus (Q5326325) (← links)
- Behavioral equivalence in the polymorphic pi-calculus (Q5487879) (← links)
- Formal Methods in Software and Systems Modeling (Q5710421) (← links)
- A Practical Approach to Verification of Mobile Systems Using Net Unfoldings (Q5900141) (← links)
- Bisimulation verification using the up to techniques (Q5953448) (← links)
- Explicit substitutions for \(\pi\)-congruences (Q5958613) (← links)
- Bisimulations in the join-calculus (Q5958770) (← links)