The following pages link to (Q4248252):
Displaying 50 items.
- An imperative pure calculus (Q737089) (← links)
- On the refinement of liveness properties of distributed systems (Q763239) (← links)
- Process-algebraic approaches for multi-agent systems: an overview (Q814895) (← links)
- Process algebras as support for sustainable systems of services (Q814902) (← links)
- Towards an algebraic theory of typed mobile processes (Q817843) (← links)
- A closer look at constraints as processes (Q844200) (← links)
- An exercise in structural congruence (Q845877) (← links)
- AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee (Q848309) (← links)
- Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
- A calculus and logic of resources and processes (Q855007) (← links)
- Complexity of reachability problems for finite discrete dynamical systems (Q856411) (← links)
- A core calculus for correlation in orchestration languages (Q861302) (← links)
- A pi-calculus based semantics for WS-BPEL (Q861305) (← links)
- Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
- Axiomatizations for probabilistic finite-state behaviors (Q875517) (← links)
- Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types (Q880987) (← links)
- Modeling individual's aging within a bacterial population using a pi-calculus paradigm (Q884872) (← links)
- Strategy based semantics for mobility with time and access permissions (Q890480) (← links)
- A complete axiom system for propositional projection temporal logic with cylinder computation model (Q896162) (← links)
- Variability encoding: from compile-time to load-time variability (Q898607) (← links)
- Typed context awareness ambient calculus for pervasive applications (Q903500) (← links)
- Verification of distributed systems with the axiomatic system of MSVL (Q903507) (← links)
- Nondeterministic automata: equivalence, bisimulations, and uniform relations (Q903611) (← links)
- The neglected pillar of material computation (Q933423) (← links)
- A timed semantics of Orc (Q935476) (← links)
- Bisimulations in calculi modelling membranes (Q939161) (← links)
- Pathway analysis for BioAmbients (Q953532) (← links)
- A simple calculus for proteins and cells (Q953549) (← links)
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices (Q959782) (← links)
- Synapses as stochastic concurrent systems (Q959792) (← links)
- CSP is a retract of CCS (Q960852) (← links)
- On generic context lemmas for higher-order calculi with sharing (Q960863) (← links)
- Typed event structures and the linear \(\pi \)-calculus (Q964488) (← links)
- A formal semantics for the Taverna 2 workflow model (Q980997) (← links)
- Fuzzy relation equations and reduction of fuzzy automata (Q988575) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- Fully abstract models and refinements as tools to compare agents in timed coordination languages (Q1004066) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- A theory of structural stationarity in the \(\pi\)-calculus (Q1014276) (← links)
- A calculus of mobile processes. I (Q1198548) (← links)
- An algebraic verification of a mobile network (Q1205185) (← links)
- Typing correspondence assertions for communication protocols (Q1399972) (← links)
- Reachability problems for sequential dynamical systems with threshold functions. (Q1401231) (← links)
- Domain theory for concurrency (Q1434357) (← links)
- A UTP approach for rTiMo (Q1624596) (← links)
- Timed-pNets: a communication behavioural semantic model for distributed systems (Q1633067) (← links)
- Fuzzy approximations of fuzzy relational structures (Q1644888) (← links)
- Multiparty session types, beyond duality (Q1647963) (← links)
- The symbiosis of concurrency and verification: teaching and case studies (Q1707345) (← links)
- A formal approach to open multiparty interactions (Q1727996) (← links)
