RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Risultati 1 - 10 di 87 (tempo di esecuzione: 0.022 secondi).
Modeling and Analyzing Concurrent Systems with MPA
1994 Bernardo, Marco; Donatiello, Lorenzo; Gorrieri, Roberto
Integrated Analysis of Concurrent Distributed Systems Using Markovian Process Algebra
1994 Bernardo, Marco; Donatiello, Lorenzo; Gorrieri, Roberto
Extended Markovian Process Algebra: A Case Study
1995 Bernardo, Marco
Giving a Net Semantics to Markovian Process Algebra
1995 Bernardo, Marco; Donatiello, Lorenzo; Gorrieri, Roberto
A Stochastic Process Algebra Model for the Analysis of the Alternating Bit Protocol
1996 Bernardo, Marco; Donatiello, Lorenzo; Gorrieri, Roberto
On the Coexistence of Exponential, Immediate and Passive Actions in EMPA
1996 Bernardo, Marco
Integrated Functional and Performance Analyses of Concurrent Distributed Systems Described with the Language EMPA
1996 Bernardo, Marco; Donatiello, Lorenzo; Gorrieri, Roberto
A Methodology Based on EMPA for Modeling and Simulating Concurrent Systems
1996 Bernardo, Marco
Extended Markovian Process Algebra
1996 Bernardo, Marco; Gorrieri, Roberto
Two Exercises with EMPA: Computing the Utilization of the CSMA/CD Protocol and Assessing the Performability of a Queueing System
1997 Bernardo, Marco
Risultati 1 - 10 di 87 (tempo di esecuzione: 0.022 secondi).
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Opzioni
Scopri
Tipologia
- 4 Contributo Atto di Convegno (ex... 87
- 4 Contributo Atto di Convegno (ex... 87
Data di pubblicazione
- 2020 - 2024 12
- 2010 - 2019 18
- 2000 - 2009 35
- 1994 - 1999 22
Editore
- Springer 33
- IEEE-CS Press 8
- Open Publishing Association 7
- ACM Press 5
- Elsevier 5
- CEUR-WS.org 4
- World Scientific 3
- Kluwer 2
- SCS International 2
- Carleton Scientific 1
Rivista
- ELECTRONIC PROCEEDINGS IN THEORET... 7
- ELECTRONIC NOTES IN THEORETICAL C... 5
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 33
- CEUR WORKSHOP PROCEEDINGS 4
Keyword
- Computer Science - Logic in Compu... 1
Lingua
- eng 87
Accesso al fulltext
- no fulltext 83
- restricted 3
- open 1