A non-interleaving process calculus for multi-party synchronisation


Soboci\'nski, Pawel (2009) A non-interleaving process calculus for multi-party synchronisation. In, ICE '09

Download

[img] PDF - Accepted Version
Download (409Kb)
Item Type: Conference or Workshop Item (Paper)
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 271013
Date Deposited: 06 May 2010 16:42
Last Modified: 27 Mar 2014 20:16
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/271013

Actions (login required)

View Item View Item