1012 search results - page 5 / 203 » Process Algebra with Backtracking |
BIRTHDAY
2004
Springer
14 years 1 months ago
2004
Springer
Ternary algebra has been used for detection of hazards in logic circuits since 1948. Process spaces have been introduced in 1995 act models of concurrent processes. Surprisingly, p...
LISP
2002
13 years 7 months ago
2002
Abstract. Continuations can be used to explain a wide variety of control behaviours, including calling/returning (procedures), raising/handling (exceptions), labelled jumping (goto...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the final coalgebras can be...
EPEW
2008
Springer
13 years 9 months ago
2008
Springer
We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We reali...
ENTCS
2008
13 years 7 months ago
2008
HYPE is a process algebra developed to model hybrid systems