Pawel Gancarski

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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

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