119 search results - page 5 / 24 » Synchronous Kleene algebra |
82
Voted
ITP
2010
15 years 5 months ago
2010
JLP
2008
15 years 3 months ago
2008
112
Voted
AMAST
2010
Springer
14 years 10 months ago
2010
Springer
115
Voted
ICALP
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Milner proposed an axiomatization for the Kleene star in basic process algebra, in the presence of deadlock and empty process, modulo bisimulation equivalence. In this pa...
116
click to vote
LATA
2009
Springer
15 years 10 months ago
2009
Springer
This paper proposes an alternative approach to the standard notion of rational (or regular) expression for tree languages. The main difference is that in the new notion we have on...