The following pages link to J. A. Bergstra (Q190306):
Displaying 50 items.
- Linear time and branching time semantics for recursion with merge (Q1348527) (← links)
- Process algebra with propositional signals (Q1391792) (← links)
- Program algebra for component code (Q1586164) (← links)
- Process algebra and conditional composition (Q1607116) (← links)
- Network algebra in Java (Q1763161) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- The discrete time TOOLBUS. -- A software coordination architecture (Q1818361) (← links)
- On the elimination of iteration quantifiers in a fragment of algorithmic logic (Q1837179) (← links)
- Program algebra for sequential code (Q1858432) (← links)
- Combining programs and state machines (Q1858434) (← links)
- Molecular dynamics (Q1858435) (← links)
- Branching time and orthogonal bisimulation equivalence (Q1884905) (← links)
- The data type variety of stack algebras (Q1891249) (← links)
- Homomorphism preserving algebraic specifications require hidden sorts (Q1893731) (← links)
- Logic of transition systems (Q1895974) (← links)
- Axiomatizing probabilistic processes: ACP with generative probabilities (Q1899914) (← links)
- Discrete time process algebra (Q1914041) (← links)
- Process algebra with strategic interleaving (Q2000000) (← links)
- On the complexity of the correctness problem for non-zeroness test instruction sequences (Q2007725) (← links)
- Division by zero in non-involutive meadows (Q2018605) (← links)
- Partial arithmetical data types of rational numbers and their equational specification (Q2168794) (← links)
- Arithmetical datatypes with true fractions (Q2182665) (← links)
- A short introduction to program algebra with instructions for Boolean registers (Q2209486) (← links)
- Quantitative expressiveness of instruction sequence classes for computation on single bit registers (Q2209499) (← links)
- The wheel of rational numbers as an abstract data type (Q2237335) (← links)
- Equations for formally real meadows (Q2344368) (← links)
- Continuity controlled hybrid automata (Q2368692) (← links)
- Thread algebra for strategic interleaving (Q2461536) (← links)
- Synchronous cooperation for explicit multi-threading (Q2464036) (← links)
- Simulating Turing machines on Maurer machines (Q2480963) (← links)
- Splitting bisimulations and retrospective conditions (Q2500474) (← links)
- Polarized process algebra with reactive composition (Q2571202) (← links)
- Real time process algebra (Q2640341) (← links)
- A thread algebra with multi-level strategic interleaving (Q2642901) (← links)
- Algebra of timed frames (Q2710790) (← links)
- Program algebra and coprogram calculus (Q2752047) (← links)
- Process algebra with recursive operations (Q2760242) (← links)
- Discrete time process algebra and the semantics of SDL (Q2760255) (← links)
- On algorithmic equivalence of instruction sequences for computing bit string functions (Q2804184) (← links)
- Parallel processes with implicit computational capital (Q2870191) (← links)
- Proposition Algebra and Short-Circuit Logic (Q2894547) (← links)
- Proposition algebra (Q2946640) (← links)
- Data Linkage Dynamics with Shedding (Q3000273) (← links)
- (Q3028334) (← links)
- (Q3042376) (← links)
- Decidability of bisimulation equivalence for process generating context-free languages (Q3140021) (← links)
- (Q3185842) (← links)
- (Q3185843) (← links)
- Register-machine based processes (Q3196631) (← links)
- (Q3208066) (← links)
