The following pages link to Process Algebra (Q3999164):
Displayed 38 items.
- Simulating Turing machines on Maurer machines (Q2480963) (← links)
- On the expressiveness of higher dimensional automata (Q2491631) (← links)
- Branching bisimulation for probabilistic systems: characteristics and decidability (Q2491633) (← links)
- Splitting bisimulations and retrospective conditions (Q2500474) (← links)
- Hierarchical control of discrete-event systems (Q2563779) (← links)
- Synchronized shuffles (Q2566012) (← links)
- Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal (Q2568979) (← links)
- A theory of stochastic systems. II: Process algebra (Q2575855) (← links)
- Decidable first-order transition logics for PA-processes (Q2575856) (← links)
- Axiomatising divergence (Q2581532) (← links)
- Reversing algebraic process calculi (Q2643334) (← links)
- Algebra of timed frames (Q2710790) (← links)
- Modal logic and the approximation induction principle (Q2883116) (← links)
- Proving the validity of equations in GSOS languages using rule-matching bisimilarity (Q2883120) (← links)
- A logic for extensional protocols (Q2901223) (← links)
- SC-EXPRESSIONS IN OBJECT-ORIENTED LANGUAGES (Q3401492) (← links)
- A Context-Free Process as a Pushdown Automaton (Q3541013) (← links)
- A Rule Format for Associativity (Q3541037) (← links)
- On the operating unit size of load/store architectures (Q3564342) (← links)
- On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems (Q3599065) (← links)
- PRISMA: A Mobile Calculus with Parametric Synchronization (Q3608457) (← links)
- A Look Around the Corner: The Pi-Calculus (Q3623819) (← links)
- Bisimulations and predicate logic (Q4314681) (← links)
- Network algebra for asynchronous dataflow<sup>∗</sup> (Q4375420) (← links)
- Automating the refinement of specifications for distributed systems via syntactic transformations (Q4392352) (← links)
- Strong types for coordinating active objects (Q4790922) (← links)
- Maurer computers for pipelined instruction processing (Q5458071) (← links)
- Bochvar-McCarthy logic and process algebra (Q5937831) (← links)
- Deciding bisimulation-like equivalences with finite-state processes (Q5941202) (← links)
- Inheritance of behavior (Q5943265) (← links)
- Real time process algebra with time-dependent conditions (Q5946026) (← links)
- Linearization in parallel pCRL (Q5946027) (← links)
- Inheritance of workflows: An approach to tackling problems related to change (Q5958305) (← links)
- Weak bisimilarity between finite-state systems and BPA or normed BPP is decidable in polynomial time (Q5958326) (← links)
- The regular viewpoint on PA-processes (Q5958465) (← links)
- Non-regular iterators in process algebra (Q5958616) (← links)
- The parallel composition of uniform processes with data (Q5958772) (← links)
- Distributed processes and location failures (Q5958774) (← links)