TY - THES ID - 145182469 TI - Axioms for concurrency AU - Faron Moller AU - Milner, R. PY - 1989 PB - Edinburgh : University of Edinburgh, Department of Computer Science, DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:145182469 AB - ER -