| |
In In Proceedings of the 23rd ACM Symposium on Principles of Programming Languages (1995), pp. 372-385.
|
| |
In In Proceedings of the Applied Semantics Summer School (APPSEM), Caminha, Vol. 2395 (2000), pp. 268-332.
|
| |
|
| |
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the First Workshop "From Biology To Concurrency and back (FBTC 2007)", Vol. 194, No. 3. (20 January 2008), pp. 133-148.
|
| |
|
| |
In Proof, Language and Interaction: Essays in Honour of Robin Milner (2000)
|
| |
The Computer Journal, Vol. 38, No. 7. (1 July 1995), pp. 578-589.
|
| |
In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 81-94.
|
| |
In WSC '08: Proceedings of the 40th Conference on Winter Simulation (2008), pp. 703-711.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 12, No. 4. (October 2003), pp. 440-473.
|
| |
In In Dagstuhl proc.: Domain-Specific Program Generation (2003)
|
| |
ACM Trans. Program. Lang. Syst., Vol. 21, No. 5. (September 1999), pp. 914-947.
|
| |
|
| |
|
| |
|
| |
: Automata, Languages and Programming (1990), pp. 167-180.
|
| |
Theoretical Computer Science In Concurrency Theory, Vol. 195, No. 2. (30 March 1998), pp. 291-324.
|
| |
Information and Computation, Vol. 148, No. 1. (10 January 1999), pp. 1-70.
|
| |
|
| |
|
| |
Quantitative Evaluation of Systems, International Conference on, Vol. 0 (2007), pp. 169-178.
|
| |
CONCUR '95: Concurrency Theory (1995), pp. 42-56.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Workshop on Coalgebraic Methods in Computer Science (CMCS), Vol. 106 (11 December 2004), pp. 25-41.
|
| |
Vol. 0112−14 (December 2001)
|
| |
Business Process Management (2005), pp. 153-168.
|
| |
Theoretical Computer Science, Vol. 311, No. 1-3. (23 January 2004), pp. 121-163.
|
| |
Theoretical Computer Science, Vol. 114, No. 1. (14 June 1993), pp. 149-171.
|
| |
Theoretical Computer Science, Vol. 183, No. 2. (15 September 1997), pp. 215-228.
|
| |
|
| |
Inf. Comput., Vol. 129, No. 1. (August 1996), pp. 35-51.
|
| |
Information and Computation, Vol. 179, No. 1. (25 November 2002), pp. 76-117.
|
| |
In Software Engineering Research and Practice (2003), pp. 877-882.
|
| |
In ERLANG '06: Proceedings of the 2006 ACM SIGPLAN workshop on Erlang (2006), pp. 38-50.
|
| |
In ERLANG '05: Proceedings of the 2005 ACM SIGPLAN workshop on Erlang (2005), pp. 72-77.
|
| |
|
| |
|
| |
Transactions on Computational Systems Biology VII (2006), pp. 123-152.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2004), Vol. 180, No. 2. (26 June 2007), pp. 55-70.
|
| |
Theoretical Computer Science, Vol. 135, No. 1. (1994), pp. 11-65.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 24, No. 5. (September 2002), pp. 566-591.
|
| |
|
| |
|
| |
In Logic and Algebra of Specification (1993), pp. 203-246.
|
| |
Journal of Logic and Algebraic Programming In Web Services and Formal Methods, Vol. 70, No. 1. (January 2007), pp. 96-118.
|
| |
In Proceedings of PAPM '96 (1996)
|
| |
|
| |
|
| |
|
| |
|
Search
