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:
Acta Informatica
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Observable liveness of Petri netsDesel, Jörg ; Kılınç, GörkemActa informatica, 2015-04, Vol.52 (2-3), p.153-174 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Negotiation as concurrency primitiveDesel, Jörg ; Esparza, Javier ; Hoffmann, PhilippActa informatica, 2019-03, Vol.56 (2), p.93-159 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
The synthesis problem of Petri netsDESEL, J ; REISIG, WActa informatica, 1996-06, Vol.33 (4), p.297-315 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Original Article (2)
- Information Systems And Communication Service (2)
- Petri Nets (2)
- Theory Of Computation (2)
- Logics And Meanings Of Programs (2)
- Computer Systems Organization And Communication Networks (2)
- Software Engineering/programming And Operating Systems (2)
- Studies (2)
- Data Structures And Information Theory (2)
- Concurrency (1)
- Analysis (1)
- Automata. Abstract Machines. Turing Machines (1)
- Algorithms (1)
- Applied Sciences (1)
- Algorithmics. Computability. Computer Arithmetics (1)
- Computer Science; Control Theory; Systems (1)
-
Mais opções
Base de Dados/Biblioteca
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 