Publicações

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

AuthID
P-004-398

Author(s)

Cruz Filipe, L

Lanese, I

Martins, F

Ravara, A

Vasconcelos, VT

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^®/pt/publications/view/134440

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-540-68863-1_5

Dblp: conf/fmoods/Cruz-FilipeLMRV08

Scopus: 2-s2.0-46049114910

Wos: WOS:000256666000004

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

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

Useful Links

Get Help

Autenticação Federada (Click on the image)

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

Useful Links

Get Help