3239 search results - page 255 / 648 » A Logical Process Calculus |
135
Voted
GC
2004
Springer
15 years 10 months ago
2004
Springer
We describe the architecture and the implementation of the MIKADO software framework, that we call IMC (Implementing Mobile Calculi). The framework aims at providing the programmer...
153
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
In global computing applications the availability of a mechanism for some form of committed choice can be useful, and sometimes necessary. It can conveniently handle, e.g., distrib...
183
click to vote
DAWAK
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In the last years, extending OLAP (On-Line Analytical Processing) systems with spatial and temporal features has attracted the attention of of the GIS (Geographic Informa...
142
click to vote
COSIT
2001
Springer
15 years 9 months ago
2001
Springer
One of the central questions of spatial reasoning research is whether the underlying processes are inherently visual or spatial. The article reports a dual-task experiment that was...
141
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...