Pawel Gancarski

According to our database, Pawel Gancarski authored at least 3 papers between 2009 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2010

Prioritized slotted-Circus.

Pawel Gancarski, Andrew Butterfield

Proceedings of the Theoretical Aspects of Computing, 2010

2009

State Visibility and Communication in Unifying Theories of Programming.

Andrew Butterfield, Pawel Gancarski, Jim Woodcock

Proceedings of the TASE 2009, 2009

The Denotational Semantics of slotted-Circus.

Pawel Gancarski, Andrew Butterfield

Proceedings of the FM 2009: Formal Methods, 2009