1188 search results - page 4 / 238 » Testing Semantics: Connecting Processes and Process Logics |
ENTCS
2008
14 years 12 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
89
Voted
ENTCS
2007
14 years 11 months ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
76
Voted
DSS
2006
14 years 11 months ago
2006
This paper describes the concept of workflow merge and methods for merging business processes. We grouped merges in four categories according to the type of merge: sequential, par...
121
click to vote
AIML
2000
15 years 1 months ago
2000
Notions of context for natural language interpretation are factored in terms of three processes: translation, entailment and attunement. The processes are linked by accessibility r...
112
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...