Parallel object-oriented specification language

O. Florescu, J.P.M. Voeten, B.D. Theelen, M.C.W. Geilen, H. Corporaal

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic


The Parallel Object-Oriented Specification Language (POOSL) is an expressive modelling language for hardware/software systems [10]. It was originally defined in [7] as an object-oriented extension of process algebra CCS [6], supporting (conditional) synchronous message passing between (hierarchically structured) asynchronous concurrent processes. Meanwhile, POOSL has been extended with real-time [2] and probabilities [I] to evolve into a powerful general-purpose modelling language accompanied with simulation, analysis and synthesis techniques that scale to large industrial design problems.
Original languageEnglish
Title of host publicationARTIST Survey of Programming Languages
EditorsAlan Burns
Place of Publications.l.
PublisherARTIST2, Network of Excellence on Embedded System Design
Publication statusPublished - 2008


Dive into the research topics of 'Parallel object-oriented specification language'. Together they form a unique fingerprint.

Cite this