Toggle Main Menu Toggle Search

Open Access padlockePrints

Balancing expressiveness in formal approaches to concurrency

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD, Professor Ian Hayes

Downloads


Licence

This work is licensed under a Creative Commons Attribution 4.0 International License (CC BY 4.0).


Publication metadata

Author(s): Jones CB, Hayes IJ, Colvin RJ

Publication type: Article

Publication status: Published

Journal: Formal Aspects of Computing

Year: 2015

Volume: 27

Issue: 3

Pages: 475-497

Print publication date: 01/05/2015

Online publication date: 29/08/2014

Acceptance date: 08/07/2014

Date deposited: 08/09/2013

ISSN (print): 0934-5043

ISSN (electronic): 1433-299X

Publisher: Springer

URL: http://dx.doi.org/10.1007/s00165-014-0310-2

DOI: 10.1007/s00165-014-0310-2


Altmetrics

Altmetrics provided by Altmetric


Funding

Funder referenceFunder name
DP130102901ARC
TrAmS-2EPSRC
DP130102901Australian Research Council

Share