3239 search results - page 215 / 648 » A Logical Process Calculus |
103
click to vote
LICS
2002
IEEE
15 years 8 months ago
2002
IEEE
The meaning and mathematical consequences of linearity (managing without a presumed ability to copy) are studied for a path-based model of processes which is also a model of affi...
143
click to vote
TIME
2005
IEEE
15 years 9 months ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
144
Voted
VISUAL
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Methods for processing of pictorial queries speci ed by pictorial query trees are presented. Leaves of a pictorial query tree correspond to individual pictorial queries w...
121
Voted
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
109
Voted
DIS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. To the best of our knowledge, this paper is the first attempt to formalise a pragmatic logic of scientific discovery in a manner such that it can be realised by scientist...