Pawel Gancarski

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2010

3 Pawel Gancarski, Andrew Butterfield: Prioritized slotted-Circus. ICTAC 2010: 91-105

2009

2 Pawel Gancarski, Andrew Butterfield: The Denotational Semantics of slotted-Circus. FM 2009: 451-466

1 Andrew Butterfield, Pawel Gancarski, Jim Woodcock: State Visibility and Communication in Unifying Theories of Programming. TASE 2009: 47-54

	2010
3		Pawel Gancarski, Andrew Butterfield: Prioritized slotted-Circus. ICTAC 2010: 91-105
	2009
2		Pawel Gancarski, Andrew Butterfield: The Denotational Semantics of slotted-Circus. FM 2009: 451-466
1		Andrew Butterfield, Pawel Gancarski, Jim Woodcock: State Visibility and Communication in Unifying Theories of Programming. TASE 2009: 47-54

Coauthor Index

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Andrew Butterfield	[1] [2] [3]
2	Jim Woodcock (J. C. P. Woodcock)	[1]