Bas Ploeger, Bas van Vlijmen, Jan Friso Groote, Jack van Wijk
Contact: Bas van Vlijmen, Badhuisstraat 24 zw, 2012 CN Haarlem, The Netherlands; +31(0)23 5321024 or +31(0)624539660
bas@basvanvlijmen.com
www.basvanvlijmen.com
Jack van Wijk, Jan Friso Groote are both professors of Computer Science; Bas Ploeger is a PhD student in Computer Science;
Bas van Vlijmen is a freelance artist.
Department of Mathematics and Computer Science, Eindhoven University of Technology, section OAS
"3D-presentation of state spaces helps technicians who design and analyze
systems in understanding their behavior. The models have a strong aesthetic appeal
too and nicely show the complexity of interactions between even simple systems.
With this artistic presentation of two models we hope to motivate people to look
at technology, society, and themselves in an ironic and modest way, while at the
same time stimulating curiosity and creativity."
“ Dining Philosophers”
2008, Spatial model of wood and steel, 24" x 24" x 24"
mCRL2 is a language that can be used to specify and analyze the behavior of distributed systems and protocols. Using its accompanying toolset systems can be analyzed and properties can be verified. mCRL2 is based on the Algebra of Communicating Processes which is extended with data and time. Processes can perform actions and can be composed to form new processes using algebraic operators. The 'Dining Philosophers' is a problem invented by Edsger Dijkstra and is about processes (here 8 philosophers) competing for limited resources (forks). The deadlock that the specification contains appears in red.
“ HEF”
2008, Digital print, 24" x 36", including the frame.
mCRL2 is a language that can be used to specify and analyze the behavior of distributed systems and protocols. Using its accompanying toolset systems can be analyzed and properties can be verified. mCRL2 is based on the Algebra of Communicating Processes which is extended with data and time. Processes can perform actions and can be composed to form new processes using algebraic operators. This system specified consists of a number of lifts (here 5) for lifting trucks. Each lift supports one wheel of the truck. A special purpose network and protocol enforce that the lifts operate in concert.