The Parallel Object-Oriented Specification Language (POOSL) is an expressive modelling language for hardware/software systems . It was originally defined in  as an object-oriented extension of process algebra CCS , supporting (conditional) synchronous message passing between (hierarchically structured) asynchronous concurrent processes. Meanwhile, POOSL has been extended with real-time  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.
|Title of host publication||ARTIST Survey of Programming Languages|
|Place of Publication||s.l.|
|Publisher||ARTIST2, Network of Excellence on Embedded System Design|
|Publication status||Published - 2008|