288 search results - page 15 / 58 » The Denotational Semantics of slotted-Circus |
LICS
1994
IEEE
14 years 23 days ago
1994
IEEE
abstract semantics for concurrent graph reduction ALAN JEFFREY This paper presents a fully abstract semantics for a variant of the untyped -calculus with recursive declarations. We...
ENTCS
2006
13 years 8 months ago
2006
Means for the representation of variability in UML 2.0 interactions, as presented in a previous work, are further formalised and given a mathematically formal semantics. In this w...
WSPI
2004
13 years 10 months ago
2004
Abstract. The traditional overlap between computer science and philosophy centres upon the issue of in what sense a computer may be said to think. A lesser known issue of potential...
FLAIRS
2007
13 years 11 months ago
2007
The paper presents a conceptual solution and an implementation for acquiring, modeling, publishing, retrieving, reusing and maintaining knowledge within XWiki, an open source coll...
EPK
2006
13 years 10 months ago
2006
: The semantics of the OR-join have been discussed for some time, in the context of EPCs, but also in the context of other business process modeling languages like YAWL. In this pa...