4485 search results - page 253 / 897 » Equivalences on Observable Processes |
133
click to vote
ICTAC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
142
click to vote
FOSSACS
2001
Springer
15 years 9 months ago
2001
Springer
Garbage collection relieves the programmer of the burden of managing dynamically allocated memory, by providing an automatic way to reclaim unneeded storage. This eliminates or les...
128
click to vote
CSL
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. We study a weakening of the notion of logical relations, called prelogical relations, that has many of the features that make logical relations so useful but having furth...
150
click to vote
FCT
1999
Springer
15 years 8 months ago
1999
Springer
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...
149
click to vote
ISCOPE
1997
Springer
15 years 8 months ago
1997
Springer
This paper describes issues encountered in the design and implementation of a parallel object-oriented database system. In particular, we find that the design of a client/server ...