António Ravara | Recent Publications

On program logics

• Revisiting Concurrent Separation Logic and Operational Semantics (with Pedro Soares and Simão Melo de Sousa). In 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015), IEEE, 2015. DOI: 10.1109/PDP.2015.85

On behavioural types

• Session Types as Generic Process Types (with Simon Gay and Nils Gesbert). In Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, EPTCS 160, 2014. DOI: 10.4204/EPTCS.160.9
• Towards static deadlock resolution in the pi-calculus (with Marco Giunti). In 8th International Symposium on Trustworthy Global Computing (TGC 2013), volume 8358 of LNCS. Springer 2014. DOI: 10.1007/978-3-319-05119-2_9 [ Abstract | Extended version (with proofs) ]
• An Algebra of Behavioural Types (with Pedro Resende and Vasco T. Vasconcelos). In Information and Computation, 212: 64--91, 2012. [ Abstract | PDF ]
  Subsumes Part III of my PhD thesis.
• Modular Session Types for Distributed Object-Oriented Programming (with Simon Gay, Nils Gesbert, Vasco T. Vasconcelos, and Alexandre Zua Caldeira). In Symposium on Principles of Programming Languages (POPL'10), ACM Press, 2010. [ Abstract | PDF ]
  Proofs and some small corrections in Technical Report TR-2010-308. Department of Computing, University of Glasgow, 2010.
• Dynamic Interfaces (with Simon Gay, Nils Gesbert, Vasco T. Vasconcelos, and Alexandre Zua Caldeira). In International Workshop on Foundations of Object-Oriented Languages (FOOL'09), 2009. [ Abstract | PDF ]
• Typechecking a Multithreaded Functional Language with Session Types (with Simon Gay and Vasco T. Vasconcelos). In Theoretical Computer Science, 368(1-2):64-87, 2006. [ Abstract | PDF ]
  Subsumes Session Types for Functional Multithreading, in 15th International Conference on Concurrency Theory (CONCUR'04). Volume 3170 of LNCS, pages 497-511, Springer, 2004.
• Typing the Behavior of Software Components using Session Types (with Antonio Vallecillo and Vasco T. Vasconcelos). In Fundamenta Informaticae, 73(4):583-598, 2006. [ Abstract | PDF ]
  Subsumes Typing the Behavior of Objects and Components using Session Types, in 1st International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'02), ENTCS, 68(3):439-465, 2003.

On mobile calculi

• Unlocking Blocked Communicating Processes (with Adrian Francalanza and Marco Giunti). In Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, EPTCS 188, 2015. DOI: 10.4204/EPTCS.188.4
• Encoding cryptographic primitives in a calculus with polyadic synchronization (with Joana Martinho). In Journal of Automated Reasoning, 46(3-4): 293-323, 2011. [ Abstract | PDF ]
  Subsumes the version published in the proceedings of the International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS'08), ISRST, 2008.
• Responsive Choice in Mobile Processes (with Maxime Gamboni). In 5th International Symposium on Trustworthy Global Computing (TGC'10), volume 6084 of LNCS, pages 135-152, Springer, 2010. [ Abstract | PDF ]
• Dynamic Recovering of Long Running Transactions (with Carla Ferreira and Catia Vaz). In 4th International Symposium on Trustworthy Global Computing (TGC'08), volume 5474 of LNCS, pages 201-215, Springer, 2009. [ Abstract | PDF ]
• Typing migration control in lsdpi (with Francisco Martins). In International Workshop on Foundations of Computer Security (FCS'04), volume 31, pages 1--12, Turku Centre for Computer Science, 2004. [ Abstract | PDF ]
• Lexically Scoped distribution: What You See Is What You Get (with Luis Lopes, Ana A. Matos and Vasco T. Vasconcelos). In International Workshop on Foundations of Global Computing (FGC'03), ENTCS, 85(1):16-91, 2003. [ Abstract | PDF ]
• Communication Errors in the Pi-Calculus are Undecidable (with Vasco T. Vasconcelos). In Information Processing Letters, 71(5-6):229-233, 1999. [ Abstract | PDF ]

On service-oriented calculi

• The Stream-based Service-Centered Calculus: a Foundation for Service-Oriented Programming (with Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, and Vasco T. Vasconcelos). In Formal Aspects of Computing, 26(5):865-918, 2014. DOI: 10.1007/s00165-013-0284-5 [ Abstract | PDF ]
  Subsumes the papers published in the proceedings of the 10th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'08) and the 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM'07).
• Behavioral Theory for Session-Oriented Calculi (with Ivan Lanese and Hugo T. Vieira). In Rigorous Software Engineering for Service-Oriented Systems --- Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, volume 6582 of LNCS, Springer, 2011. [ Abstract | PDF ]
• Advanced Mechanisms for Service Combination and Transactions (with Ivan Lanese, Carla Ferreira, Hugo T. Vieira and Gianluigi Zavattaro). In Rigorous Software Engineering for Service-Oriented Systems --- Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, volume 6582 of LNCS, Springer, 2011. [ Abstract | PDF ]
• Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus (with Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, and Vasco T. Vasconcelos). In 10th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'08), volume 5051 of LNCS, pages 59-77, Springer, 2008. [ Abstract | PDF ]
• Disciplining Orchestration and Conversation in Service-Oriented Computing (with Ivan Lanese, Francisco Martins, and Vasco T. Vasconcelos). In 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM'07), pages 305-314, IEEE Press, 2007. [ Abstract | PDF ]
  Extended version as Technical Report DI/FCUL TR-07-3. Department of Informatics, University of Lisbon, March 2007.
• SCC: a Service Centered Calculus (with Michele Boreale, Roberto Bruni, Luis Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Ugo Montanari, Davide Sangiorgi, Vasco Vasconcelos, and Gianluigi Zavattaro). In 3rd International Workshop on Web Services and Formal Methods (WS-FM'06), volume 4184 of LNCS, pages 38-57, Springer, 2006. [ Abstract | PDF ]