2678 search results - page 319 / 536 » Operational Semantics of Transactions |
159
click to vote
FMCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Object calculi have been investigated as semantical foundation for object-oriented languages. Often, they are object-based, whereas the mainstream of object-oriented lang...
175
click to vote
EUROPAR
2003
Springer
15 years 10 months ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...
142
click to vote
SEMWEB
2001
Springer
15 years 9 months ago
2001
Springer
Resolving heterogeneity among information systems is a crucial necessity if we wish to gain value from the many distributed resources available to us. Problems of heterogeneity in ...
138
click to vote
TACS
2001
Springer
15 years 9 months ago
2001
Springer
We give a logic programming language based on Fiore, Plotkin and Turi’s binding algebras. In this language, we can use not only first-order terms but also terms involving variab...
184
click to vote
ISORC
1998
IEEE
15 years 9 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...