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

AuthID
P-000-CH7
2
Author(s)
Butler, M
·
3
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
Publication Identifiers
Scopus: 2-s2.0-33646122491
Wos: WOS:000189415200006
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.