| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Gabriele Costa, Pierpaolo Degano, Fabio Martinelli |
Modular plans for secure service composition.  |
Journal of Computer Security  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Joshua D. Guttman (eds.) |
Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano |
Preface. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Costa, Pierpaolo Degano, Fabio Martinelli |
Secure service orchestration in open networks. |
Journal of Systems Architecture - Embedded Systems Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi |
Differential Privacy: on the trade-off between Utility and Information Leakage |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino |
Call-by-Contract for Service Discovery, Orchestration and Recovery. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Sandro Etalle, Joshua D. Guttman (eds.) |
Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers |
Formal Aspects in Security and Trust |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Gian Luigi Ferrari, Gianluca Mezzetti |
On Quantitative Security Policies. |
PaCT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Linda Brodo, Pierpaolo Degano, Han Gao |
Detecting and preventing type flaws at static time. |
Journal of Computer Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mário S. Alvim, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi |
Differential Privacy versus Quantitative Information Flow |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Pierpaolo Degano, Joshua D. Guttman (eds.) |
Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers |
Formal Aspects in Security and Trust |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Costa, Pierpaolo Degano, Fabio Martinelli |
Modular Plans for Secure Service Composition. |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari |
Planning and verifying service composition. |
Journal of Computer Security |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino |
Securing Java with Local Policies. |
Journal of Object Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino |
Hard Life with Weak Binders. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino |
Local policies for resource usage analysis. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Usage policies, model-checking, type and effect systems |
| 1 | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino |
nu-Types for Effects and Freshness Analysis. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Luca Viganò (eds.) |
Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli (eds.) |
Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers |
Formal Aspects in Security and Trust |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Roberto Gorrieri (eds.) |
Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings |
CMSB |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Luca Viganò |
Preface. |
Int. J. Inf. Sec. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino |
Semantics-Based Design for Secure Web Services. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
call-by-contract, Web services, static analysis, language-based security, system verification |
| 1 | Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano |
Stochastic models for the in silico simulation of synaptic processes. |
BMC Bioinformatics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano |
Synapses as stochastic concurrent systems. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Ralf Küsters, Luca Viganò, Steve Zdancewic |
Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA '06). |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Han Gao, Chiara Bodei, Pierpaolo Degano |
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.) |
Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures |
SFM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Davide Chiarugi, Pierpaolo Degano, Jan Bert Van Klinken, Roberto Marangoni |
Cells in Silico: A Holistic Approach. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Pierpaolo Degano, José Meseguer |
Ugo Montanari in a Nutshell. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.) |
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday |
Concurrency, Graphs and Models |
2008 |
DBLP BibTeX RDF |
|
| 1 | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino |
Model Checking Usage Policies. |
TGC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Chiarugi, Pierpaolo Degano, Roberto Marangoni |
A Computational Approach to the Functional Screening of Genomes. |
PLoS Computational Biology |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Han Gao, Linda Brodo |
Detecting and Preventing Type flaws: a Control Flow Analysis with Tags. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson |
A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols. |
ASIAN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino |
Secure Service Orchestration. |
FOSAD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Linda Brodo, Pierpaolo Degano, Corrado Priami |
A Stochastic Semantics for BioAmbients. |
PaCT |
2007 |
DBLP DOI BibTeX RDF |
Stochastic Operational Semantics, Systems Biology, Process Calculi |
| 1 | Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano |
Expressive Models for Synaptic Plasticity. |
CMSB |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino |
Types and Effects for Resource Usage Analysis. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Luca Viganò |
Preface. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia |
Beta-binders for Biological Quantitative Experiments. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari |
Security Issues in Service Composition. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Chiarugi, M. Chinellato, Pierpaolo Degano, G. Lo Brutto, Roberto Marangoni |
Feedbacks and Oscillations in the Virtual Cell VICE. |
CMSB |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari |
Types and Effects for Secure Service Orchestration. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Zunino, Pierpaolo Degano |
Handling exp, × (and Timestamps) in Protocol Analysis. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Corrado Priami |
Checking security policies through an enhanced Control Flow Analysis. |
Journal of Computer Security |
2005 |
DBLP BibTeX RDF |
|
| 1 | Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
Static validation of security protocols. |
Journal of Computer Security |
2005 |
DBLP BibTeX RDF |
|
| 1 | Roberto Zunino, Pierpaolo Degano |
Weakening the perfect encryption assumption in Dolev-Yao adversaries. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami |
Authentication primitives for secure protocol specifications. |
Future Generation Comp. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami |
Performance Evaluation of Security Protocols Specified in LySa. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami |
A Quantitative Study of Two Attacks. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Luca Viganò |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari |
Checking Risky Events Is Enough for Local Policies. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari |
Policy framings for access control. |
WITS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami |
On Evaluating the Performance of Security Protocols. |
PaCT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari |
Enforcing Secure Service Composition. |
CSFW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari |
History-Based Access Control with Local Policies. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari |
Stack inspection and secure program transformations. |
Int. J. Inf. Sec. |
2004 |
DBLP DOI BibTeX RDF |
Access control, Static analysis, Compiler optimizations, Language-based security |
| 1 | Pierpaolo Degano |
Preface. |
Sci. Comput. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Curti, Pierpaolo Degano, Corrado Priami, Cosima Tatiana Baldari |
Modelling biochemical pathways through enhanced pi-calculus. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari |
Program Transformations under Dynamic Security Policies. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Chiarugi, Michele Curti, Pierpaolo Degano, Roberto Marangoni |
VICE: A VIrtual CEll. |
CMSB |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Zunino, Pierpaolo Degano |
A Note on the Perfect Encryption Assumption in a Process Calculus. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Fabio Gadducci, Corrado Priami |
Causality and Replication in Concurrent Processes. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari |
Security-Aware Program Transformations. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami |
Authentication Primitives for Protocol Specifications. |
PaCT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Linda Brodo, Pierpaolo Degano, Corrado Priami |
Reflecting Mobile Ambients into the p-Calculus. |
Global Computing |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami |
Performance Evaluation for Global Computation. |
Global Computing |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Curti, Pierpaolo Degano, Cosima Tatiana Baldari |
Causal pi-Calculus for Biochemical Modelling. |
CMSB |
2003 |
DBLP DOI BibTeX RDF |
Formal Description of Biochemical Processes, Concurrency, Causality, Bio-informatics, Reduction Semantics |
| 1 | Pierpaolo Degano, Corrado Priami |
Enhanced Operational Semantics in Systems Biology. |
CMSB |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
Automatic Validation of Protocol Narration. |
CSFW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano (eds.) |
Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings |
ESOP |
2003 |
DBLP BibTeX RDF |
|
| 1 | Pierpaolo Degano, Fabio Gadducci, Corrado Priami |
A causal semantics for CCS via rewriting logic. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami |
Primitives for authentication in process algebras. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
Flow logic for Dolev-Yao secrecy in cryptographic processes. |
Future Generation Comp. Syst. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Nottegar, Corrado Priami, Pierpaolo Degano |
Performance Evaluation of Mobile Processes via Abstract Machines. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
Calculi for mobility, enhanced operational semantics, formal methodology, performance evaluation, stochastic models |
| 1 | Chiara Bodei, Pierpaolo Degano, Corrado Priami |
Names of the -calculus agents handled locally. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
Static Analysis for the pi-Calculus with Applications to Security. |
Inf. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari |
Static Analysis for Stack Inspection. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli |
Techniques for Security Checking: Non-Interference vs Control Flow Analysis. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Corrado Priami |
Enhanced operational semantics. |
ACM Comput. Surv. |
2001 |
DBLP DOI BibTeX RDF |
process algebra, parametric models |
| 1 | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
Security Analysis Using Flow Logics. |
Current Trends in Theoretical Computer Science |
2001 |
DBLP BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
Static Analysis for Secrecy and Non-interference in Networks of Processes. |
PaCT |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
Security Analysis using Flow Logics. |
Bulletin of the EATCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Linda Brodo, Pierpaolo Degano, Corrado Priami |
A tool for quantitative analysis of calculus processes. |
ICALP Satellite Workshops |
2000 |
DBLP BibTeX RDF |
|
| 1 | Pierpaolo Degano, Francesca Levi, Chiara Bodei |
Safe Ambients: Control Flow Analysis and Security. |
ASIAN |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Corrado Priami |
Non-Interleaving Semantics for Mobile Processes. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen |
Causality for Debugging Mobile Agents. |
Acta Inf. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela, Peter Wegner |
Computing Surveys' Electronic Symposium on the Theory of Computation. |
ACM Comput. Surv. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Nottegar, Corrado Priami, Pierpaolo Degano |
Semantic-Driven Performance Evaluation (Extended Abstract). |
FASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami |
Authentication via Localized Names. (PDF / PS) |
CSFW |
1999 |
DBLP DOI BibTeX RDF |
Local Environments, Mobility, Authentication, Concurrency, Process Algebras |
| 1 | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
Static Analysis of Processes for No and Read-Up nad No Write-Down. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgia Carabetta, Pierpaolo Degano, Fabio Gadducci |
CCS semantics via proved transition systems and rewriting logic. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Corrado Priami |
LR Techniques for Handling Syntax Errors. |
Comput. Lang. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
Control Flow Analysis for the pi-calculus. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Corrado Priami |
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. |
SAS |
1998 |
DBLP DOI BibTeX RDF |
SOS semantics, non-interleaving descriptions, Concurrency, abstract interpretation, causality |
| 1 | Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.) |
Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings |
ICALP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Pierpaolo Degano, José Meseguer, Ugo Montanari |
Axiomatizing the Algebra of Net Computations and Processes. |
Acta Inf. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Corrado Priami |
Enhanced Operational Semantics. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Corrado Priami |
Mobile Processes with a Distributed Environment. |
ICALP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen |
Logical and Operational Methods in the Analysis of Programs and Systems. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")