10 results
cJoin: Join with communicating transactions†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 3 / March 2015
- Published online by Cambridge University Press:
- 10 November 2014, pp. 566-618
-
- Article
- Export citation
Foreword: special issue on structure transformation
-
- Journal:
- Mathematical Structures in Computer Science / Volume 24 / Issue 4 / August 2014
- Published online by Cambridge University Press:
- 26 June 2014, 240401
-
- Article
-
- You have access
- Export citation
Axiomatizing permutation equivalence†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 6 / Issue 3 / June 1996
- Published online by Cambridge University Press:
- 04 March 2009, pp. 219-249
-
- Article
- Export citation
An interactive semantics of logic programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 1 / Issue 6 / November 2001
- Published online by Cambridge University Press:
- 16 May 2007, pp. 647-690
-
- Article
- Export citation
Mapping Fusion and Synchronized Hyperedge Replacement into logic programming*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 7 / Issue 1-2 / January 2007
- Published online by Cambridge University Press:
- 01 January 2007, pp. 123-151
-
- Article
- Export citation
Concurrent models for Linda with transactions
-
- Journal:
- Mathematical Structures in Computer Science / Volume 14 / Issue 3 / June 2004
- Published online by Cambridge University Press:
- 20 May 2004, pp. 421-468
-
- Article
- Export citation
Preface to Special Issue: Coalgebraic methods in computer science
-
- Journal:
- Mathematical Structures in Computer Science / Volume 13 / Issue 2 / April 2003
- Published online by Cambridge University Press:
- 01 April 2003, p. 199
-
- Article
- Export citation
Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
-
- Journal:
- Mathematical Structures in Computer Science / Volume 12 / Issue 1 / February 2002
- Published online by Cambridge University Press:
- 26 February 2002, pp. 53-90
-
- Article
- Export citation
On the semantics of place/transition Petri nets
-
- Journal:
- Mathematical Structures in Computer Science / Volume 7 / Issue 4 / August 1997
- Published online by Cambridge University Press:
- 01 August 1997, pp. 359-397
-
- Article
- Export citation
Structured transition systems with parametric observations: observational congruences and minimal realizations
-
- Journal:
- Mathematical Structures in Computer Science / Volume 7 / Issue 3 / June 1997
- Published online by Cambridge University Press:
- 01 June 1997, pp. 241-282
-
- Article
- Export citation