De Alfaro, Luca.
Overview
| Works: | 3 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Foundations of Software Science and Computational Structures12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
by:
(1998 :); De Alfaro, Luca.; SpringerLink (Online service)
(Electronic resources)
Process algebra and probabilistic methodsperformance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings /
by:
(1998 :); De Alfaro, Luca.; Gilmore, Stephen.; SpringerLink (Online service)
(Electronic resources)
CONCUR 2005 - Concurrency Theory16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings /
by:
(1998 :); Abadi, Martin.; De Alfaro, Luca.; SpringerLink (Online service)
(Electronic resources)
Subjects
Theory of Computation.
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Machine theory
Multitasking (Computer science)
Computation by Abstract Devices.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Parallel processing (Electronic computers)
Computer Science.
Computer Communication Networks.
System analysis