An Algebraic Specification of a Model Factory, Part II (2007)
A case study about a model factory, investigated at DEC CEC, is reported on. This factory is described and simulated in the specification language PSF. Key Words & Phrases: Specification...
Grid protocols based on synchronous communication (1997)
Jan A. Bergstra, Joris Hillebrand, Alban Ponse
We provide a short notation for processes with parallel inputs and outputs. With this specification format, a certain class of networks, comprising synchronous grid protocols, can be easily specified...
Transforming an ASF+SDF Specification into a ToolBus application (1996)
An algebraic specification of the natural numbers is being translated into C code, such that the modular structure of the specification is preserved. We use the ToolBus, a component interconnection...
A Well-formedness Checker for µCRL (1995)
Joris Hillebrand, Henri Korver
We present an algebraic specification for the static semantics of the process language ¯CRL. This specification can be executed in the ASF+SDF meta-environment which automatically derives a...
An Algebraic Specification of a Manufacturing System with Hierarchical Control (1993)
This paper presents a PSF specification of a fictitious manufacturing system. We also discuss the control of manufacturing systems in general. Finally, an attempt is made to compare the expressive...
A Small Language for the Specification of Grid Protocols
We present a tool that transforms specifications in a new format, geared towards Grid Protocols, into ¯CRL specifications. The specification of Grid Protocols becomes easier in the new format, while...