mrg.doc.ic.ac.uk
Mobility Reading Group
http://mrg.doc.ic.ac.uk/talks
Pi;-calculus, Session Types research at Imperial College. Recent talks and presentations from our group. Session Types and Linear Logic and Lightweight Applications of Session Types in Java. Department of Computer Science. The second part of this talk will demonstrate Scribble. Multiparty Session Types and their Applications. Université Pierre et Marie Curie Paris 6, Dec 2016. Compositionality and Session Types. Simon's Institute for the Theory of Computing, University of California, Berkeley, Dec 2016.
mrg.doc.ic.ac.uk
Mobility Reading Group
http://mrg.doc.ic.ac.uk/people/raymond-hu
Pi;-calculus, Session Types research at Imperial College. I am an RA at Imperial College London working primarily on the design and application of session types to practice. My recent and current work includes a graphical integration of multiparty session types and Petri nets, and the Scribble. Davide Ancona , Viviana Bono , Mario Bravetti , Joana Campos , Giuseppe Castagna , Pierre-Malo Deniélou. Simon J. Gay , Nils Gesbert , Elena Giachino , Raymond Hu. Behavioral Types in Programming Languages. SPY: L...
mrg.doc.ic.ac.uk
Mobility Reading Group
http://mrg.doc.ic.ac.uk/people
Pi;-calculus, Session Types research at Imperial College. I am an RA at Imperial College London working primarily on the design and application of session types to practice. My recent and current work includes a graphical integration of multiparty session types and Petri nets, and the Scribble. Rumyana Neykova is a third year PhD student at Imperial College London, under the supervision of Prof. Nobuko Yoshida. Her research interests are in the area of distributed systems and networks, as well as type sy...
behavioural-types.eu
Tools — Behavioural Types
http://www.behavioural-types.eu/tools
Behavioural Types for Reliable Large-Scale Software Systems. Only in current section. Members of BETTY have produced a number of software tools based on the theory of behavioural types. Is an implementation of pi calculus with session types, developed at the University of Lisbon. Analyses message-passing systems for deadlocks, and verifies progress properties with respect to session types. It was developed at the University of Lisbon. The CO2 model checker. Is a choreography programming language for adap...
mrg.doc.ic.ac.uk
Mobility Reading Group
http://mrg.doc.ic.ac.uk/tools
Pi;-calculus, Session Types research at Imperial College. Tools and software developed by our group. Dynamic deadlock verification for general barrier synchronisation. Static deadlock detection tool for Go. Is a static deadlock detection tool for the Go language. The tool leverages session graph synthesis to detect potential deadlocks and unsafe concurrency patterns in the source code. Effects as sessions, session as effects. Tool for synthesising a choreography from Genalised Multiparty Compatible CFSMs.
mrg.doc.ic.ac.uk
Mobility Reading Group
http://mrg.doc.ic.ac.uk/news/fsharp-meetup-26092016
Pi;-calculus, Session Types research at Imperial College. News: Session Types talk at F# meetup. Our group’s Masters project student Fahd Adeljallal gave a talk titled Session Types with Fahd Abdeljallal. In a recent F#unctional Londoners Meetup Group. Meeting on his Masters project which applied Multiparty Session Types. In this talk, we will focus on the case of Multiparty session types (MPST). Developed by the Mobility Research Group. At Imperial College London.
