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.
|Titel||ARTIST Survey of Programming Languages|
|Plaats van productie||s.l.|
|Uitgeverij||ARTIST2, Network of Excellence on Embedded System Design|
|Status||Gepubliceerd - 2008|