Publications

An Operational Semantics for Stac, a Language for Modelling Long-Running Business Transactions

AuthID
P-000-CH7

Author(s)

Butler, M

Ferreira, C

Editor(s)

DeNicola,R;Ferrari,G;Meredith,G

Document Type

Article

Year published

2004

Published

in COORDINATION MODELS AND LANGUAGES, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 2949, Pages: 87-104 (18)

Conference

6Th International Conference on Coordination Models and Languages (Coordination 2004), Date: FEB 24-27, 2004, Location: Pisa, ITALY, Sponsors: Univ Pisa, Dipartiment Informat, Univ Pisa, Polo Didattico Fibonacci, Microsoft Res, Univ Firenze, Dipartimento Sistemi & Informat, Host: Pisa Univ, Comp Sci Dept

Indexing