Behavioural Theory at Work: Program Transformations in a Service-Centired Calculus

AuthID
P-004-398
5
Author(s)
2
Editor(s)
Barthe, G; DeBoer, FS
Document Type
Proceedings Paper
Year published
2008
Published
in FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 5051, Pages: 59-77 (19)
Conference
10Th Ifip International Conference on Formal Methods for Open Object-Based Distributed Systems, Date: JUN 04-06, 2008, Location: Oslo, NORWAY, Sponsors: IFIP WG 6 1
Indexing
Publication Identifiers
Dblp: conf/fmoods/Cruz-FilipeLMRV08
Scopus: 2-s2.0-46049114910
Wos: WOS:000256666000004
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.