scientific article; zbMATH DE number 3894457
From MaRDI portal
Publication:5186720
zbMath0561.68019MaRDI QIDQ5186720
Jan Willem Klop, Jan A. Bergstra
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (34)
Parameter Synthesis Algorithms for Parametric Interval Markov Chains ⋮ On the expressiveness of choice quantification ⋮ Process algebra with guards: Combining hoare logic with process algebra ⋮ When is partial trace equivalence adequate? ⋮ Continuity controlled hybrid automata ⋮ Kleene's three-valued logic and process algebra ⋮ Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? ⋮ Rewriting with a nondeterministic choice operator ⋮ Focus points and convergent process operators: A proof strategy for protocol verification ⋮ A calculus and logic of resources and processes ⋮ Duplication of constants in process algebra ⋮ Discrete time process algebra ⋮ An algebraic semantics for hierarchical P/T nets ⋮ Reactive Turing machines ⋮ A coinductive calculus for asynchronous side-effecting processes ⋮ Revisiting sequential composition in process calculi ⋮ Bounded stacks, bags and queues ⋮ Axiomatizing flat iteration ⋮ Revisiting timing in process algebra. ⋮ Combining data type and recursive process specifications using projection algebras ⋮ Algebraic specification of concurrent systems ⋮ Unnamed Item ⋮ Extensional Petri net ⋮ Confluence for process verification ⋮ Bochvar-McCarthy logic and process algebra ⋮ A brief history of process algebra ⋮ Process algebra for hybrid systems ⋮ Non-regular iterators in process algebra ⋮ A note on the notation of recursion in process algebras ⋮ A Coinductive Calculus for Asynchronous Side-Effecting Processes ⋮ Recursive process definitions with the state operator ⋮ Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic ⋮ Reflections on a Geometry of Processes ⋮ From ATP to timed graphs and hybrid systems
This page was built for publication:
