The following pages link to (Q3657409):
Displayed 50 items.
- A non-SOS operational semantics for a process algebra (Q293405) (← links)
- Step failures semantics and a complete proof system (Q582133) (← links)
- Compilation of the ELECTRE reactive language into finite transition systems (Q673127) (← links)
- A process algebraic view of input/output automata (Q674195) (← links)
- Transition system specifications with negative premises (Q685387) (← links)
- Logical foundations for programming semantics (Q685420) (← links)
- Communicating processes with value-passing and assignments (Q688827) (← links)
- Notions of computation and monads (Q757075) (← links)
- Recursive process definitions with the state operator (Q758198) (← links)
- A weakest precondition semantics for communicating processes (Q789174) (← links)
- A denotational semantics for shared-memory parallelism and nondeterminism (Q792754) (← links)
- Comparative semantics for flow of control in logic programming without logic (Q805247) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- Issues in the design of a parallel object-oriented language (Q909434) (← links)
- Comparative metric semantics for concurrent PROLOG (Q915474) (← links)
- Proof theory for exception handling in a tasking environment (Q918725) (← links)
- Contractions in comparing concurrency semantics (Q919834) (← links)
- On the suitability of trace semantics for modular proofs of communicating processes (Q1060004) (← links)
- A structural operational semantics for an Edison-like language (Q1075044) (← links)
- A context dependent equivalence between processes (Q1088404) (← links)
- Two normal form theorems for CSP programs (Q1094869) (← links)
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency (Q1107303) (← links)
- Designing equivalent semantic models for process creation (Q1107305) (← links)
- Appraising fairness in languages for distributed programming (Q1112589) (← links)
- Sequential and concurrent behaviour in Petri net theory (Q1119024) (← links)
- Concurrency and atomicity (Q1124366) (← links)
- Terminal metric spaces of finitely branching and image finite linear processes (Q1128985) (← links)
- Towards a foundation for semantics in complete metric spaces (Q1173767) (← links)
- Four domains for concurrency (Q1179700) (← links)
- Process expressions and Hoare's logic: Showing and irreconcilability of context-free recursion with Scott's induction rule (Q1183608) (← links)
- A denotational theory of synchronous reactive systems (Q1193599) (← links)
- Operational semantics of a kernel of the language ELECTRE (Q1193858) (← links)
- Structured operational semantics and bisimulation as a congruence (Q1198952) (← links)
- Constraint satisfaction using constraint logic programming (Q1204868) (← links)
- From algebra to operational semantics (Q1209325) (← links)
- Fairness and hyperfairness in multi-party interactions (Q1261113) (← links)
- Process calculus based upon evaluation to committed form (Q1276241) (← links)
- A semantic characterization for faults in replicated systems (Q1330427) (← links)
- GSOS and finite labelled transition systems (Q1331924) (← links)
- A \(\pi\)-calculus with explicit substitutions (Q1350998) (← links)
- Full abstraction for the second order subset of an Algol-like language (Q1369235) (← links)
- Open maps, behavioural equivalences, and congruences (Q1389441) (← links)
- A general conservative extension theorem in process algebras with inequalities (Q1391791) (← links)
- Process algebra with language matching (Q1391794) (← links)
- Swinging types=functions+relations+transition systems (Q1575635) (← links)
- Congruent weak bisimulation with dense real-time (Q1802058) (← links)
- Corrigenda:Cooperating proofs for distributed programs with multiparty interactions (Q1813353) (← links)
- Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP (Q1822234) (← links)
- Strong fairness and full abstraction for communicating processes (Q1854396) (← links)
- The origins of structural operational semantics (Q1878710) (← links)