3624 search results - page 70 / 725 » Abstract Algebraic Logic |
123
click to vote
ICALP
1997
Springer
15 years 8 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...
139
click to vote
ENTCS
2010
15 years 1 months ago
2010
We introduce Process Algebra with Hooks (PAH). In PAH processes represent different layers action, from biochemistry to tissue, and special synchronisations via hook actions ensur...
176
click to vote
TCOS
2008
15 years 4 months ago
2008
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
133
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
159
click to vote
AFPAC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper we investigate the Lie model of Lie sphere geometry using Clifford algebra. We employ it to Euclidean geometric problems involving oriented contact to simpl...