10072 search results - page 44 / 2015 » Composition of Model Programs |
94
Voted
PODS
1989
ACM
15 years 5 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...
191
Voted
SIGMOD
2005
ACM
16 years 1 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 ...
JLP
2011
14 years 4 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...
112
click to vote
CONCURRENCY
2006
15 years 1 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...
159
click to vote
BIRTHDAY
2004
Springer
15 years 7 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...