The following pages link to (Q4248252):
Displaying 32 items.
- Imaginary groups: lazy monoids and reversible computation (Q5400854) (← links)
- A Translation of Beta-binders in a Prioritized Pi-calculus (Q5404078) (← links)
- Control Flow Analysis of Generalised Boolean Networks (Q5404092) (← links)
- Tree Process Calculus (Q5415625) (← links)
- Stochastic Bigraphs (Q5415632) (← links)
- An algebraic characterization of equivalent preferential models (Q5422305) (← links)
- Psim: A Computational Platform for Metabolic P Systems (Q5452045) (← links)
- On the Reachability Problem in P Systems with Mobile Membranes (Q5452051) (← links)
- A Hybrid Approach to Modeling Biological Systems (Q5452054) (← links)
- A Formal Analysis of Complex Type Flaw Attacks on Security Protocols (Q5505422) (← links)
- An Observational Model for Transactional Calculus of Services Orchestration (Q5505603) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709368) (← links)
- Brane Calculi (Q5712404) (← links)
- Modelling session types using contracts (Q5741570) (← links)
- A Global Occurrence Counting Analysis for Brane Calculi (Q5743592) (← links)
- Distributed Adaptive Systems (Q5881446) (← links)
- Concurrent Process Histories and Resource Transducers (Q5883753) (← links)
- Psi-calculi in Isabelle (Q5890661) (← links)
- A semantics for web services authentication (Q5892652) (← links)
- A bisimulation for dynamic sealing (Q5899331) (← links)
- A Practical Approach to Verification of Mobile Systems Using Net Unfoldings (Q5900141) (← links)
- On Completeness of Cost Metrics and Meta-Search Algorithms in $-Calculus (Q6040672) (← links)
- Translation of CCS into CSP, correct up to strong bisimulation (Q6045054) (← links)
- Bonding calculus (Q6062028) (← links)
- Programming language semantics: It’s easy as 1,2,3 (Q6065508) (← links)
- Semantics of dynamic hiding in mobile UTP-CSP (Q6093580) (← links)
- Adversarial logic (Q6109430) (← links)
- A process calculus for spiking neural P systems (Q6191634) (← links)
- Fuzzy bigraphs (Q6547669) (← links)
- Store locally, prove globally (Q6605367) (← links)
- A small-step semantics for Janus (Q6637592) (← links)
- A deep inference system for differential linear logic (Q6657782) (← links)
