| |
(2005)
posted to orc by kubalaa
on 2009-05-19 00:08:31
as 
|
| |
Coordination Models and Languages (2006), pp. 82-96.
posted to orc by kubalaa
on 2009-05-19 00:04:30
as
|
| |
Algebraic Methodology and Software Technology (2008), pp. 2-15.
posted to orc by kubalaa
on 2009-05-18 23:58:40
as
|
| |
In NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Vol. 195 (3--15 August 2004)
posted to orc by kubalaa
on 2009-05-18 23:38:50
as
|
| |
CONCUR 2006 – Concurrency Theory (2006), pp. 477-491.
posted to orc by kubalaa
on 2009-05-18 23:24:58
as
|
| |
No. TR-07-65. (December 2007)
posted to orc by kubalaa
on 2009-05-18 23:20:48
as
|
| |
Theoretical Computer Science, Vol. 402, No. 2-3. (08 August 2008), pp. 234-248.
posted to orc by kubalaa
on 2009-05-18 19:31:01
as
|
| |
Software and Systems Modeling, Vol. 6, No. 1. (23 March 2007), pp. 83-110.
posted to orc by kubalaa
on 2009-05-18 19:24:27
as
|
| |
Software-Intensive Systems and New Computing Paradigms (2008), pp. 139-145.
posted to orc by kubalaa
on 2009-05-18 19:19:23
as
|
| |
EASST Newsletters, No. ISSN 1861-0668. (December 2005), pp. 18-30.
|
| |
EASST Newsletters, No. ISSN 1861-0668. (December 2005), pp. 5-17.
|
| |
In Verified Software: Theories, Tools, Experiments, Vol. 4171 (2008), pp. 1-18.
|
| |
Theoretical Computer Science, Vol. 402, No. 2-3. (August 2008), pp. 234-248.
|
| |
Journal of Software and Systems Modeling, Vol. May (2006)
|
| |
|
| |
|
| |
|
| |
In Proceedings of the Second International Conference on Software Engineering and Formal Methods (SEFM 2004) (Sept 2004)
|
| |
In Proceedings of the 18th International Conference on Distributed Computing, Vol. 3274 (2004), pp. 320-334.
|
| |
In Proceedings of the 23rd ACM Symposium on Principles of Distributed Computing (July 2004), pp. 376-376.
|
| |
In Programming Methodology (2002), pp. 69-92.
|
| |
|
| |
In Formal Methods at the Crossroads: From Panacea to Foundational Support, Vol. LNCS 2757 (2003), pp. 423-438.
|
| |
In Parallel Processing: 8th International Euro-Par Conference, Vol. LNCS 2400 (2002), pp. 1-20.
|
| |
|
| |
American Mathematical Monthly (2000)
|
| |
South African Computer Journal, No. 22. (Mar 1999), pp. 32-46.
|
| |
In Proc. 19th ACM SIGACT/SIGOPS Symposium on Principles of Distributed Systems (PODC '2000) (July 2000)
|
| |
Formal Aspects of Computing, Vol. 12, No. 2. (2000), pp. 100-119.
|
| |
No. CS-TR-99-14. (June 1999)
|
| |
In Second International Workshop on Software Engineering for Parallel and Distributed Systems (1999), pp. 284-290.
|
| |
|
| |
|
| |
Information Processing Letters, Vol. 41, No. 3. (Mar 1992), pp. 131-133.
|
| |
In Proc. 10 IPPS/SPDP 98 Workshops, Vol. 1388 (1998), pp. 881-889.
|
| |
In Proc. 9th International Summer School on Constructive Methods in Computer Science, Vol. F 55 (1989), pp. 1-3.
|
| |
Information Processing Letters, Vol. 8, No. 2. (Feb 1979), pp. 81-85.
|
| |
Information Processing Letters, Vol. 33, No. 1. (1989), pp. 21-24.
|
| |
Communications of the ACM, Vol. 21, No. 12. (Dec 1978), pp. 999-1003.
|
| |
Information Processing Letters, Vol. 77, No. 2--4. (Feb 2001), pp. 197-200.
|
| |
Information Processing Letters, Vol. 9, No. 4. (Nov 1979), pp. 185-189.
|
| |
Communications of the ACM, Vol. 25, No. 11., pp. 833-837.
|
| |
|
| |
Science of Computer Programming, Vol. 2 (1982), pp. 143-152.
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 8, No. 3. (July 1986), pp. 326-343.
|
| |
Information Processing Letters, Vol. 38 (1992), pp. 81-85.
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 16, No. 6. (Nov 1994), pp. 1737-1767.
|
| |
In A Classical Mind : Essays in Honour of C.A.R. Hoare (1994), pp. 295-316.
|
| |
In Proceedings of the ACM Symposium on Principles of Distributed Computing (1983), pp. 290-294.
|
| |
Journal of Computer and Software Engineering, Vol. 3, No. 2. (June 1995), pp. 239-300.
|
