Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Bocchi, Laura - Department of Computer Science, University of Leicester
Compositional Nested Long Running Transactions
A Theory of Design-by-Contract for Distributed Multiparty Interactions
BPMN Modelling of Services with Dynamically Reconfigurable Transactions
A Use-Case Driven Approach to Formal Service-Oriented Modelling
M. Dumas and R. Heckel (Eds.): WS-FM 2007, LNCS 4937, pp. 92107, 2008. Springer-Verlag Berlin Heidelberg 2008
J. Derrick and J. Vain (Eds.): FORTE 2007, LNCS 4574, pp. 358373, 2007. IFIP International Federation for Information Processing 2007
Service-Oriented Modelling of Automotive Systems Laura Bocchi
A Formal Approach to Service Component Architecture Jos Luiz Fiadeiro1
A Theory of Design-by-Contract for Distributed Multiparty Interactions
Engineering Service Oriented Applications: From StPowla Processes to SRML Models
Algebraic Semantics of Service Component Modules Jos Luiz Fiadeiro1
A Java Inspired Semantics for Transactions in SOC Extended Paper
