198 search results - page 7 / 40 » Concurrent Kleene Algebra |
132
Voted
TAP
2010
Springer
15 years 8 months ago
2010
Springer
This paper presents techniques for applying a finite relational model finder to logical specifications that involve (co)inductive predicates, (co)algebraic datatypes, and (co)re...
119
click to vote
CAI
2009
Springer
15 years 10 months ago
2009
Springer
This tutorial provides an overview of the process algebra ACP.
137
Voted
DLT
2009
15 years 1 months ago
2009
A famous theorem of Kuratowski states that, in a topological space, at most 14 distinct sets can be produced by repeatedly applying the operations of closure and complement to a gi...
138
Voted
GCB
2004
Springer
15 years 9 months ago
2004
Springer
: Carbon Labeling Systems (CLS) are large equation systems that describe the dynamics of labeled carbon atoms in a metabolic network. The rapid solution of these systems is the alg...
125
click to vote
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be d...