Search results for "PLACES"

Hits ?▲	Authors	Title	Venue	Year	Link
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

Publications at "PLACES"( http://dblp.L3S.de/Venues/PLACES )