603 search results - page 73 / 121 » A Formal Operational Semantics for SOFL |
ICALP
2009
Springer
14 years 9 months ago
2009
Springer
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...
EDOC
2006
IEEE
14 years 2 months ago
2006
IEEE
— It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines a...
PPDP
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
ICTAI
2003
IEEE
14 years 2 months ago
2003
IEEE
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...
FROCOS
2009
Springer
14 years 1 months ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...