A process compensation language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1945 LNCS, Issue , 2000, Pages 61-76

  Butler, Michael ^a   Ferreira, Carla ^a  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; SEMANTICS; COMPUTATIONAL LINGUISTICS;

COMPONENT BASED; ENTERPRISE SYSTEM; OPERATIONAL SEMANTICS; PROCESS COMPENSATION;

FORMAL METHODS;

EID: 84894553420     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-40911-4_5     Document Type: Conference Paper

References (7)

1. J R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.
2. M.J. Butler. csp2B: A practical approach to combining CSP and B. In FM'99 - Formal Methods, LNCS 1708, pages 490-508. Springer-Verlag, 1999.
3. H. Eertink, W. Janssen, P.O. Luttighuis, W. Teeuw, and C. Vissers. A business process design language. In FM'99 - Formal Methods, LNCS 1708, pages 76-95. Springer-Verlag, 1999.
4. C.A.R Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
5. K. Lano. The B Language and Method: A Guide to Practical Formal Development. Formal Approaches to Computing and Information Technology. Springer-Verlag, 1996.
6. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
7. R. Monson-Haefel. Enterprise Java Beans. O'Reilly, 1999.