10072 search results - page 44 / 2015 » Composition of Model Programs |
143
click to vote
PODS
1989
ACM
15 years 10 months ago
1989
ACM
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...
244
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
Web services technologies enable flexible and dynamic interoperation of autonomous software and information systems. A central challenge is the development of modeling techniques ...
140
click to vote
JLP
2011
14 years 8 months ago
2011
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...
160
click to vote
CONCURRENCY
2006
15 years 6 months ago
2006
e a set of very distinctive abstractions that result in significant modifications of the basic workflow model as outlined in pre-existing workflow model, see [2] for example. In pa...
211
click to vote
BIRTHDAY
2004
Springer
15 years 11 months ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...