The following pages link to Alban Ponse (Q190307):
Displaying 41 items.
- Kleene's three-valued logic and process algebra (Q293327) (← links)
- Fracpairs and fractions over a reduced commutative ring (Q297980) (← links)
- A generalization of ACP using Belnap's logic (Q864509) (← links)
- Execution architectures for program algebra (Q881834) (← links)
- Decision problems for pushdown threads (Q884992) (← links)
- Risk assessment for one-counter threads (Q1015382) (← links)
- Process expressions and Hoare's logic: Showing and irreconcilability of context-free recursion with Scott's induction rule (Q1183608) (← links)
- Process algebra with guards: Combining hoare logic with process algebra (Q1329197) (← links)
- Two finite specifications of a queue (Q1391797) (← links)
- Process algebra and conditional composition (Q1607116) (← links)
- Equivalence of recursive specifications in process algebra (Q1607118) (← links)
- Program algebra with unit instruction operators (Q1858433) (← links)
- Combining programs and state machines (Q1858434) (← links)
- Branching time and orthogonal bisimulation equivalence (Q1884905) (← links)
- Arithmetical datatypes with true fractions (Q2182665) (← links)
- Equations for formally real meadows (Q2344368) (← links)
- Computable processes and bisimulation equivalence (Q2365394) (← links)
- Belnap's logic and conditional composition (Q2464948) (← links)
- Process algebra with recursive operations (Q2760242) (← links)
- Proposition Algebra and Short-Circuit Logic (Q2894547) (← links)
- Proposition algebra (Q2946640) (← links)
- Register-machine based processes (Q3196631) (← links)
- Evaluation Trees for Proposition Algebra (Q3449625) (← links)
- (Q4312484) (← links)
- Process algebra with four-valued logic (Q4443411) (← links)
- (Q4503951) (← links)
- (Q4525274) (← links)
- (Q4621131) (← links)
- (Q4621136) (← links)
- Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract) (Q5208500) (← links)
- Division by Zero in Common Meadows (Q5256337) (← links)
- A Generalization of ACP Using Belnap's Logic (Q5262974) (← links)
- An independent axiomatisation for free short-circuit logic (Q5375874) (← links)
- (Q5457378) (← links)
- (Q5856421) (← links)
- Non-commutative propositional logic with short-circuit evaluation (Q5862001) (← links)
- Logical Approaches to Computational Barriers (Q5898842) (← links)
- Bochvar-McCarthy logic and process algebra (Q5937831) (← links)
- Linearization in parallel pCRL (Q5946027) (← links)
- Non-regular iterators in process algebra (Q5958616) (← links)
- Cancellation Meadows: a Generic Basis Theorem and Some Applications (Q6208922) (← links)
