2678 search results - page 299 / 536 » Operational Semantics of Transactions |
122
Voted
DSS
2006
15 years 5 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...
100
click to vote
ENTCS
2002
15 years 4 months ago
2002
Building on previous work [15,8], this paper describes two syntactic ways of defining `well-behaved' operational semantics for timed processes. In both cases, the rules are d...
146
Voted
AAI
2010
15 years 3 days ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...
220
click to vote
TLDI
2010
ACM
16 years 1 months ago
2010
ACM
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
142
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
Many agents are fielded within environments requiring modeling traditional organizational structures such as military hierarchies and corporations, with their associated authority...