Peter van Eijk

According to our database, Peter van Eijk authored at least 12 papers between 1986 and 2012.

Collaborative distances:

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

2012

Webhosting in the Cloud. Cheaper and Smarter.

Peter van Eijk

Proceedings of the 38. International Computer Measurement Group Conference, 2012

2011

Poster: How to use cloud computing and social media to run a CMG chapter and other communities.

Peter van Eijk

Proceedings of the 37. International Computer Measurement Group Conference, 2011

The true cost of website downtime; how to develop a convincing case?

Peter van Eijk

Proceedings of the 37. International Computer Measurement Group Conference, 2011

1997

The Term Processor Generator <i>Kimwitu</i>.

Peter van Eijk, Axel Belinfante, Henk Eertink, Henk Alblas

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

1991

An Exercise in Protocol Synthesis.

Peter van Eijk, J. Schot

Proceedings of the Formal Description Techniques, 1991

Tool Demonstration: The Lotosphere Integrated Tool Environment Lite.

Peter van Eijk

Proceedings of the Formal Description Techniques, 1991

1990

Attribute Grammar Applications in Prototyping LOTOS Tools.

Peter van Eijk

Proceedings of the Attribute Grammars and their Applications, 1990

On the use of specification styles for automated protocol implementation from LOTOS to C.

Peter van Eijk, Harro Kremer, Marten van Sinderen

Proceedings of the Protocol Specification, 1990

Design of the LOTOSPHERE Symbolic LOTOS Simulator.

Peter van Eijk, Henk Eertink

Proceedings of the Formal Description Techniques, 1990

1989

LOTOS Tools Based on the Cornell Synthesizer Generator.

Peter van Eijk

Proceedings of the Protocol Specification, 1989

Tools for LOTOS Specification Style Transformation.

Peter van Eijk

Proceedings of the Formal Description Techniques, 1989

1986

A useful application of formal procedure parameters.

Peter van Eijk

ACM SIGPLAN Notices, 1986