3 Resultados para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Refinado por:
Nome da Publicação:
Science of Computer Programming
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Programming interactions in collective adaptive systems by relying on attribute-based communicationAbd Alrahman, Yehia ; De Nicola, Rocco ; Loreti, MicheleScience of computer programming, 2020-06, Vol.192 (June), p.102428, Article 102428 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
A type-sound calculus of computational fieldsDamiani, Ferruccio ; Viroli, Mirko ; Beal, JacobScience of computer programming, 2016-02, Vol.117, p.17-44 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADPGaravel, Hubert ; Salaün, Gwen ; Serwe, WendelinScience of computer programming, 2009, Vol.74 (3), p.100-127 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Computer Science, Software Engineering (2)
- Process Calculus (2)
- Science & Technology (2)
- Technology (2)
- Operational Semantics (2)
- Collective-Adaptive Systems (1)
- Computing Methodologies (1)
- Computational Field (1)
- Core Calculus (1)
- Asynchronous Logic (1)
- Attribute-Based Communication (1)
- Datavetenskap (1)
- Formal Method (1)
- Chp (1)
- Handshake Protocol (1)
- Asynchrony (1)
- Gals Architecture (1)
- Asynchronous Circuit (1)
- Embedded Systems (1)
-
Mais opções
Base de Dados/Biblioteca
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 