Sfoglia per Autore
Mobile processes with a distributed environment
1996-01-01 C., Bodei; P., Degano; Priami, Corrado
Stochastic pi-calculus with general distributions
1996-01-01 Priami, Corrado
Compact transition systems
1996-01-01 P., Degano; Priami, Corrado
Enhanced oparational semantics for mobility
1996-01-01 P., Degano; Priami, Corrado
Analysis of facile programs: a case study
1996-01-01 P., Degano; Priami, Corrado; L., Leth; B., Thomsen
Interleaving based partial ordering semantics
1996-01-01 Priami, Corrado
Understanding mobile agents via a non interleaving semantics for facile
1996-01-01 R., Borgia; P., Degano; Priami, Corrado; L., Leth; B., Thomsen
Enhanced operational semantics for concurrency, PhD thesis
1996-01-01 Priami, Corrado
Tools at CONCUR96
1996-01-01 Priami, Corrado
Enhanced operational semantics
1996-01-01 P., Degano; Priami, Corrado
Automatic verification of distributed concurrent systems: the process algebra approach
1996-01-01 P., Inverardi; Priami, Corrado
Integrating behavioural and quantitative analysis with topology information
1996-01-01 Priami, Corrado
Stochastic analysis of mobile telephony networks
1997-01-01 Priami, Corrado
Mobile processes with local clocks
1997-01-01 P., Degano; J., Loddo; Priami, Corrado
Introducting to functional programming
1997-01-01 Priami, Corrado
True concurrency via abstract interpretation
1997-01-01 C., Bodei; Priami, Corrado
LR Techniques for Handling Syntax Errors
1998-01-01 P., Degano; Priami, Corrado
Constructing specific SOS semantics for concurrency via abstract interpretation
1998-01-01 C., Bodei; P., Degano; Priami, Corrado
Performance evaluation via abstract machines
1998-01-01 Priami, Corrado
Proceedings of the 6th international workshop on process algebras and performance modeling
1998-01-01 Priami, Corrado
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