Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro |
Secure Multiparty Sessions with Topics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, Eindhoven, The Netherlands, 8th April 2016., pp. 1-12, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar |
Formalization of Phase Ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, Eindhoven, The Netherlands, 8th April 2016., pp. 13-24, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Antares Mezzina, Jorge A. Pérez 0001 |
Reversible Sessions Using Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, Eindhoven, The Netherlands, 8th April 2016., pp. 56-64, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Wytse Oortwijn, Stefan Blom, Marieke Huisman |
Future-based Static Analysis of Message Passing Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, Eindhoven, The Netherlands, 8th April 2016., pp. 65-72, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri |
Parallel Monitors for Self-adaptive Sessions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, Eindhoven, The Netherlands, 8th April 2016., pp. 25-36, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Roly Perera, Julien Lange, Simon J. Gay |
Multiparty Compatibility for Concurrent Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, Eindhoven, The Netherlands, 8th April 2016., pp. 73-82, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sanjiva Prasad |
Program Execution on Reconfigurable Multicore Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, Eindhoven, The Netherlands, 8th April 2016., pp. 83-91, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pierpaolo Degano, Gian-Luigi Ferrari 0002, Letterio Galletta |
Event-driven Adaptation in COP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, Eindhoven, The Netherlands, 8th April 2016., pp. 37-45, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tony Garnock-Jones |
From Events to Reactions: A Progress Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, Eindhoven, The Netherlands, 8th April 2016., pp. 46-55, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Haller, Heather Miller |
Distributed Programming via Safe Closure Passing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015, London, UK, 18th April 2015., pp. 99-107, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio Vissani, Carlos Gustavo López Pombo, Emilio Tuosto |
Communicating machines as a dynamic binding mechanism of services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015, London, UK, 18th April 2015., pp. 85-98, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida |
Precise subtyping for synchronous multiparty sessions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015, London, UK, 18th April 2015., pp. 29-43, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Brown, Amr Sabry |
Reversible Communicating Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015, London, UK, 18th April 2015., pp. 45-59, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dominic A. Orchard, Nobuko Yoshida |
Using session types as an effect system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015, London, UK, 18th April 2015., pp. 1-13, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Ugo de'Liguoro |
Retractable Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015, London, UK, 18th April 2015., pp. 61-72, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hans Hüttel, Nuno Pratas |
Broadcast and aggregation in BBC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015, London, UK, 18th April 2015., pp. 15-28, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015, London, UK, 18th April 2015., pp. 73-84, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Juliana Franco, Sophia Drossopoulou |
Behavioural types for non-uniform memory accesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015, London, UK, 18th April 2015., pp. 109-120, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Tiezzi 0001, Nobuko Yoshida |
Towards Reversible Sessions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014, Grenoble, France, 12 April 2014., pp. 17-24, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dimitris Mostrous |
Multiparty Sessions based on Proof Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014, Grenoble, France, 12 April 2014., pp. 1-8, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Blom, Saeed Darabi, Marieke Huisman |
Verifying Parallel Loops with Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014, Grenoble, France, 12 April 2014., pp. 47-53, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rumyana Neykova, Nobuko Yoshida |
Multiparty Session Actors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014, Grenoble, France, 12 April 2014., pp. 32-37, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantovic |
Session Type Isomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014, Grenoble, France, 12 April 2014., pp. 61-71, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Janwillem Swalens, Stefan Marr, Joeri De Koster, Tom Van Cutsem |
Towards Composable Concurrency Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014, Grenoble, France, 12 April 2014., pp. 54-60, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios Kouzapas, Ramunas Gutkovas, Simon J. Gay |
Session Types for Broadcasting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014, Grenoble, France, 12 April 2014., pp. 25-31, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sam Lindley, J. Garrett Morris |
Sessions as Propositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014, Grenoble, France, 12 April 2014., pp. 9-16, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tzu-Chun Chen |
Lightening Global Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014, Grenoble, France, 12 April 2014., pp. 38-46, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Romain Demeyer, Wim Vanhoof |
Static Application-Level Race Detection in STM Haskell using Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., pp. 115-134, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Simon Dobson, Alan Dearle, Barry Porter |
Minimising virtual machine support for concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., pp. 135-141, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luca Padovani |
From Lock Freedom to Progress Using Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., pp. 3-19, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tarmo Uustalu |
Coinductive Big-Step Semantics for Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., pp. 63-78, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., pp. 79-94, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yoichi Hirai |
Session Types in Abelian Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., pp. 33-52, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rumyana Neykova |
Session Types Go Dynamic or How to Verify Your Python Conversations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., pp. 95-102, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bocchi, Romain Demangeon |
Embedding Session Types in HML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., pp. 53-62, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., pp. 103-113, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Cinzia Di Giusto, Jorge A. Pérez 0001 |
Session Types with Runtime Adaptation: Overview and Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., pp. 21-32, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino |
An event-based model for contracts ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2012, Tallinn, Estonia, 31 March 2012., pp. 13-20, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marco Carbone, Fabrizio Montesi |
Merging Multiparty Protocols in Multiparty Choreographies ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2012, Tallinn, Estonia, 31 March 2012., pp. 21-27, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yu David Liu |
Variant-Frequency Semantics for Green Futures ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2012, Tallinn, Estonia, 31 March 2012., pp. 1-6, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter Calvert, Alan Mycroft |
Mapping the Join Calculus to Heterogeneous Hardware ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2012, Tallinn, Estonia, 31 March 2012., pp. 7-12, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sung-Shik T. Q. Jongmans, Farhad Arbab |
Modularizing and Specifying Protocols among Threads ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2012, Tallinn, Estonia, 31 March 2012., pp. 34-45, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pierpaolo Degano, Gian-Luigi Ferrari 0002, Letterio Galletta, Gianluca Mezzetti |
Typing Context-Dependent Behavioural Variation ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2012, Tallinn, Estonia, 31 March 2012., pp. 28-33, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010., pp. 44-58, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Alves, Raymond Hu, Nobuko Yoshida, Pierre-Malo Deniélou |
Secure Execution of Distributed Session Programs ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010., pp. 1-11, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Keigo Imai, Shoji Yuen, Kiyoshi Agusa |
Session Type Inference in Haskell ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010., pp. 74-91, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Martins, Vasco Thudichum Vasconcelos, Tiago Cogumbreiro |
Types for X10 Clocks ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010., pp. 111-129, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Joana Campos 0002, Vasco T. Vasconcelos |
Channels as Objects in Concurrent Object-Oriented Programming ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010., pp. 12-28, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López 0001 |
A Logic for Choreographies ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010., pp. 29-43, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Julien Lange, Emilio Tuosto |
A Modular Toolkit for Distributed Interactions ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010., pp. 92-110, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Thomas T. Hildebrandt, Raghava Rao Mukkamala |
Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010., pp. 59-73, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marco Carbone, Joshua D. Guttman |
Execution Models for Choreographies and Cryptoprotocols ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009., pp. 31-41, 2009. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009., pp. 95-109, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Kehrt, Laura Effinger-Dean, Michael Schmitz 0002, Dan Grossman |
Programming Idioms for Transactional Events ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009., pp. 43-48, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Martins, Luís M. B. Lopes, João Barros |
Towards the Safe Programming of Wireless Sensor Networks ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009., pp. 49-62, 2009. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009., pp. 63-77, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas |
A Concurrent Language with a Uniform Treatment of Regions and Locks ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009., pp. 79-93, 2009. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009., pp. 1-15, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Andi Bejleri, Raymond Hu, Nobuko Yoshida |
Session-Based Programming for Parallel Algorithms: Expressiveness and Performance ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009., pp. 17-29, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|