Components as Processes: An Exercise in Coalgebraic Modeling

AuthID
 P-001-1H9
1
Author(s)
2
Editor(es)
Smith, SF; Talcott, CL
Tipo de Documento
Proceedings Paper
Year published
2000
Publicado
in FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS IV in INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING, ISSN: 1571-5736
Volume: 49, Páginas: 397-417 (21)
Conference
Ifip Tc6/Wg6 1 4Th International Conference on Formal Methods for Open Object-Based Distributed Systems (Fmoods 2000), Date: SEP 06-08, 2000, Location: STANFORD, CA, Patrocinadores: Int Federat Informat Proc, TC6 & Wg6 1
Indexing
Wos®
Scopus®
Dblp®/pt/publications/view/34345
Crossref®3
Google Scholar®
Publication Identifiers
DBLP: conf/fmoods/Barbosa00
SCOPUS: 2-s2.0-84868299185
Wos: WOS:000165613700020
Source Identifiers
ISSN: 1571-5736
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

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