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

AuthID
 P-004-398
5
Author(s)
Lanese, I
·
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
Wos®
Scopus®
Dblp®/en/publications/view/134440
Crossref®
Google Scholar®
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
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service