The following pages link to (Q3667958):
Displaying 50 items.
- Distributed probabilistic and quantum strategies (Q265835) (← links)
- Declarative event based models of concurrency and refinement in psi-calculi (Q272301) (← links)
- Strategies as concurrent processes (Q283745) (← links)
- Contextual equivalences in configuration structures and reversibility (Q347363) (← links)
- Transfer of trust in event-based reputation systems (Q418797) (← links)
- Model-checking games for fixpoint logics with partial order models (Q532389) (← links)
- Compilation of the ELECTRE reactive language into finite transition systems (Q673127) (← links)
- On the implementation of concurrent calculi in net calculi: two case studies (Q673785) (← links)
- Structure of concurrency (Q685384) (← links)
- Configuration structures, event structures and Petri nets (Q843106) (← links)
- Prime algebraicity (Q843107) (← links)
- Concurrent weighted logic (Q890620) (← links)
- Some behavioural aspects of net theory (Q913516) (← links)
- Un modèle asynchrone pour les systèmes distribués. (An asynchronous model of distributed systems) (Q914365) (← links)
- A partial ordering semantics for CCS (Q914400) (← links)
- Typed event structures and the linear \(\pi \)-calculus (Q964488) (← links)
- A Nice labelling for tree-like event structures of degree 3 (Q979077) (← links)
- Calculi for synchrony and asynchrony (Q1050111) (← links)
- Concurrent histories: a basis for observing distributed systems (Q1089787) (← links)
- Specification and top-down design of distributed systems (Q1089790) (← links)
- Petri nets, algebras, morphisms, and compositionality (Q1091145) (← links)
- An algebra of processes (Q1096381) (← links)
- A distributed operational semantics of CCS based on condition/event systems (Q1110338) (← links)
- Sequential and concurrent behaviour in Petri net theory (Q1119024) (← links)
- Concurrency and atomicity (Q1124366) (← links)
- Control machines: A new model of parallelism for compositional specifications and their effective compilation (Q1177148) (← links)
- Event structures and trace monoids (Q1183599) (← links)
- Towards an algebra for timed behaviours (Q1199544) (← links)
- Denotational semantics in the cpo and metric approach (Q1346621) (← links)
- Synchronization trees (Q1348524) (← links)
- Axiomatizing the subsumption and subword preorders on finite and infinite partial words (Q1605337) (← links)
- Schedulers and finishers: on generating and filtering the behaviours of an event structure (Q1786565) (← links)
- On Scott's thesis for domains of information and well-quasi-orderings (Q1813971) (← links)
- Deterministic concurrent strategies (Q1941878) (← links)
- Minimisation of event structures (Q2084951) (← links)
- Behavioural logics for configuration structures (Q2123053) (← links)
- Trust in event structures (Q2253171) (← links)
- An interpretation of CCS into ludics (Q2333316) (← links)
- Towards a categorical representation of reversible event structures (Q2423742) (← links)
- Trellis processes: a compact representation for runs of concurrent systems (Q2465670) (← links)
- Probabilistic event structures and domains (Q2503038) (← links)
- A compositional proof system on a category of labelled transition systems (Q2640340) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- Dynamic Causality in Event Structures (Q2827451) (← links)
- Event Structures with Symmetry (Q2864165) (← links)
- Event Structure Spans for Nondeterministic Dataflow (Q2866348) (← links)
- Probabilistic π-Calculus and Event Structures (Q2870289) (← links)
- Schedulers and Finishers: On Generating the Behaviours of an Event Structure (Q3179396) (← links)
- Model-Checking Games for Fixpoint Logics with Partial Order Models (Q3184685) (← links)
- Rigid Families for the Reversible $$\pi $$ -Calculus (Q3186581) (← links)
