Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro |
Secure Multiparty Sessions with Topics. |
PLACES |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar |
Formalization of Phase Ordering. |
PLACES |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Antares Mezzina, Jorge A. Pérez 0001 |
Reversible Sessions Using Monitors. |
PLACES |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dominic A. Orchard, Nobuko Yoshida (eds.) |
Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, Eindhoven, The Netherlands, 8th April 2016. |
PLACES |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Wytse Oortwijn, Stefan Blom, Marieke Huisman |
Future-based Static Analysis of Message Passing Programs. |
PLACES |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Simon Gay, Jade Alglave (eds.) |
Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015, London, UK, 18th April 2015. |
PLACES |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri |
Parallel Monitors for Self-adaptive Sessions. |
PLACES |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Roly Perera, Julien Lange, Simon J. Gay |
Multiparty Compatibility for Concurrent Objects. |
PLACES |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sanjiva Prasad |
Program Execution on Reconfigurable Multicore Architectures. |
PLACES |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pierpaolo Degano, Gian-Luigi Ferrari 0002, Letterio Galletta |
Event-driven Adaptation in COP. |
PLACES |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tony Garnock-Jones |
From Events to Reactions: A Progress Report. |
PLACES |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Haller, Heather Miller |
Distributed Programming via Safe Closure Passing. |
PLACES |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio Vissani, Carlos Gustavo López Pombo, Emilio Tuosto |
Communicating machines as a dynamic binding mechanism of services. |
PLACES |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida |
Precise subtyping for synchronous multiparty sessions. |
PLACES |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Brown, Amr Sabry |
Reversible Communicating Processes. |
PLACES |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dominic A. Orchard, Nobuko Yoshida |
Using session types as an effect system. |
PLACES |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Ugo de'Liguoro |
Retractable Contracts. |
PLACES |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hans Hüttel, Nuno Pratas |
Broadcast and aggregation in BBC. |
PLACES |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez 0001, Hugo Torres Vieira |
A Typed Model for Dynamic Authorizations. |
PLACES |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Juliana Franco, Sophia Drossopoulou |
Behavioural types for non-uniform memory accesses. |
PLACES |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Tiezzi 0001, Nobuko Yoshida |
Towards Reversible Sessions. |
PLACES |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dimitris Mostrous |
Multiparty Sessions based on Proof Nets. |
PLACES |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alastair F. Donaldson, Vasco T. Vasconcelos (eds.) |
Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014, Grenoble, France, 12 April 2014. |
PLACES |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Blom, Saeed Darabi, Marieke Huisman |
Verifying Parallel Loops with Separation Logic. |
PLACES |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rumyana Neykova, Nobuko Yoshida |
Multiparty Session Actors. |
PLACES |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantovic |
Session Type Isomorphisms. |
PLACES |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Janwillem Swalens, Stefan Marr, Joeri De Koster, Tom Van Cutsem |
Towards Composable Concurrency Abstractions. |
PLACES |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios Kouzapas, Ramunas Gutkovas, Simon J. Gay |
Session Types for Broadcasting. |
PLACES |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sam Lindley, J. Garrett Morris |
Sessions as Propositions. |
PLACES |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tzu-Chun Chen |
Lightening Global Types. |
PLACES |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Romain Demeyer, Wim Vanhoof |
Static Application-Level Race Detection in STM Haskell using Contracts. |
PLACES |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Simon Dobson, Alan Dearle, Barry Porter |
Minimising virtual machine support for concurrency. |
PLACES |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nobuko Yoshida, Wim Vanderbauwhede (eds.) |
Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013. |
PLACES |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luca Padovani |
From Lock Freedom to Progress Using Session Types. |
PLACES |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tarmo Uustalu |
Coinductive Big-Step Semantics for Concurrency. |
PLACES |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ashkan Tousimojarad, Wim Vanderbauwhede |
The Glasgow Parallel Reduction Machine: Programming Shared-memory Many-core Systems using Parallel Task Composition. |
PLACES |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yoichi Hirai |
Session Types in Abelian Logic. |
PLACES |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rumyana Neykova |
Session Types Go Dynamic or How to Verify Your Python Conversations. |
PLACES |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bocchi, Romain Demangeon |
Embedding Session Types in HML. |
PLACES |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins |
Towards deductive verification of MPI programs against session types. |
PLACES |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Cinzia Di Giusto, Jorge A. Pérez 0001 |
Session Types with Runtime Adaptation: Overview and Examples. |
PLACES |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino |
An event-based model for contracts |
PLACES |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marco Carbone, Fabrizio Montesi |
Merging Multiparty Protocols in Multiparty Choreographies |
PLACES |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yu David Liu |
Variant-Frequency Semantics for Green Futures |
PLACES |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Simon J. Gay, Paul Kelly (eds.) |
Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2012, Tallinn, Estonia, 31 March 2012. |
PLACES |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter Calvert, Alan Mycroft |
Mapping the Join Calculus to Heterogeneous Hardware |
PLACES |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sung-Shik T. Q. Jongmans, Farhad Arbab |
Modularizing and Specifying Protocols among Threads |
PLACES |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pierpaolo Degano, Gian-Luigi Ferrari 0002, Letterio Galletta, Gianluca Mezzetti |
Typing Context-Dependent Behavioural Variation |
PLACES |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kohei Honda 0001, Alan Mycroft (eds.) |
Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010. |
PLACES |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas |
A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering |
PLACES |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Alves, Raymond Hu, Nobuko Yoshida, Pierre-Malo Deniélou |
Secure Execution of Distributed Session Programs |
PLACES |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Keigo Imai, Shoji Yuen, Kiyoshi Agusa |
Session Type Inference in Haskell |
PLACES |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Martins, Vasco Thudichum Vasconcelos, Tiago Cogumbreiro |
Types for X10 Clocks |
PLACES |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Joana Campos 0002, Vasco T. Vasconcelos |
Channels as Objects in Concurrent Object-Oriented Programming |
PLACES |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López 0001 |
A Logic for Choreographies |
PLACES |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Julien Lange, Emilio Tuosto |
A Modular Toolkit for Distributed Interactions |
PLACES |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Thomas T. Hildebrandt, Raghava Rao Mukkamala |
Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs |
PLACES |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marco Carbone, Joshua D. Guttman |
Execution Models for Choreographies and Cryptoprotocols |
PLACES |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Vasco Thudichum Vasconcelos, Francisco Martins, Tiago Cogumbreiro |
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language |
PLACES |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Kehrt, Laura Effinger-Dean, Michael Schmitz 0002, Dan Grossman |
Programming Idioms for Transactional Events |
PLACES |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Martins, Luís M. B. Lopes, João Barros |
Towards the Safe Programming of Wireless Sensor Networks |
PLACES |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Marr, Michael Haupt, Stijn Timbermont, Bram Adams, Theo D'Hondt, Pascal Costanza, Wolfgang De Meuter |
Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency Models |
PLACES |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas |
A Concurrent Language with a Uniform Treatment of Regions and Locks |
PLACES |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hugo A. López 0001, Carlos Olarte, Jorge A. Pérez 0001 |
Towards a Unified Framework for Declarative Structured Communications |
PLACES |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alastair R. Beresford, Simon J. Gay (eds.) |
Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009. |
PLACES |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Andi Bejleri, Raymond Hu, Nobuko Yoshida |
Session-Based Programming for Parallel Algorithms: Expressiveness and Performance |
PLACES |
2009 |
DBLP DOI BibTeX RDF |
|