A non-interleaving process calculus for multi-party synchronisation


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

Download

[img] PDF ice09.pdf - Accepted Manuscript
Download (419kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: ICE '09, 2009-01-01
Organisations: Electronic & Software Systems
ePrint ID: 271013
Date :
Date Event
2009Published
Date Deposited: 06 May 2010 16:42
Last Modified: 17 Apr 2017 18:25
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/271013

Actions (login required)

View Item View Item