Resultados de 1 a 10 de 75 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:
Electronic Notes In Theoretical Computer Science
assunto:
Process Algebra
assunto:
Process Algebra
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Modelling Patterns of Gene Regulation in the bond-calculusWright, Thomas ; Stark, IanElectronic notes in theoretical computer science, 2020-09, Vol.350, p.117-138Elsevier B.VTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Expressiveness of Process AlgebrasParrow, JoachimElectronic notes in theoretical computer science, 2008-04, Vol.209, p.173-186Elsevier B.VTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Bio-PEPA for Epidemiological ModelsCiocchetta, Federica ; Hillston, JaneElectronic notes in theoretical computer science, 2010-02, Vol.261, p.43-69Elsevier B.VTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
PEPAʼd Oysters: Converting Dynamic Energy Budget Models to Bio-PEPA, Illustrated by a Pacific Oyster Case StudyScott, Erin ; Hoyle, Andrew ; Shankland, CarronElectronic notes in theoretical computer science, 2013-08, Vol.296, p.211-228Elsevier B.VTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Towards Abstraction-Based Verification of Shape CalculusButi, F. ; Callisto De Donato, M. ; Corradini, F. ; Di Berardini, M.R. ; Merelli, E. ; Tesei, L.Electronic notes in theoretical computer science, 2012-06, Vol.284, p.23-34Elsevier B.VTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
A Software Interface Between the Narrative Language and Bio-PEPAGeorgoulas, Anastasis ; Guerriero, Maria LuisaElectronic notes in theoretical computer science, 2013-03, Vol.293, p.51-65Elsevier B.VTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Integrated Simulation and Model-Checking for the Analysis of Biochemical SystemsCiocchetta, Federica ; Gilmore, Stephen ; Guerriero, Maria Luisa ; Hillston, JaneElectronic notes in theoretical computer science, 2009-03, Vol.232, p.17-38Elsevier B.VTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Verification of Peer-to-peer Algorithms: A Case StudyBakhshi, Rana ; Gurov, DilianElectronic notes in theoretical computer science, 2007-06, Vol.181 (1), p.35-47Elsevier B.VTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Timed CSP: A RetrospectiveOuaknine, Joël ; Schneider, SteveElectronic notes in theoretical computer science, 2006-09, Vol.162, p.273-276Elsevier B.VTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Robin Milner's Work on ConcurrencyAbramsky, SamsonElectronic notes in theoretical computer science, 2010-09, Vol.265, p.5-10Elsevier B.VTexto completo disponível |
Resultados de 1 a 10 de 75 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
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Computer Science (60)
- Computer Science, Theory & Methods (60)
- Science & Technology (60)
- Technology (60)
- Concurrency (8)
- Verification (7)
- Ccs (6)
- Formal Methods (5)
- Bisimulation (5)
- Csp (5)
- Systems Biology (4)
- Equational Logic (4)
- Acp (4)
- Model Checking (3)
- Complete Axiomatizations (3)
- Compositionality (3)
- Petri Nets (3)
- Mobility (3)
- Structural Operational Semantics (3)
-
Mais opções
Data de Publicação
- Antes de2002 (2)
- 2002Até2003 (3)
- 2004Até2005 (13)
- 2006Até2008 (42)
- Após 2008 (16)
-
Mais opções
Base de Dados/Biblioteca
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 