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

AuthID
 P-004-398
5
Author(s)
Lanese, I
·
2
Editor(es)
Barthe, G; DeBoer, FS
Tipo de Documento
Proceedings Paper
Year published
2008
Publicado
in FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 5051, Páginas: 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, Patrocinadores: IFIP WG 6 1
Indexing
Wos®
Scopus®
Dblp®/pt/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
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service