Parallel object-oriented specification language

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Samenvatting

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.
Originele taal-2Engels
TitelARTIST Survey of Programming Languages
RedacteurenAlan Burns
Plaats van producties.l.
UitgeverijARTIST2, Network of Excellence on Embedded System Design
StatusGepubliceerd - 2008

Vingerafdruk Duik in de onderzoeksthema's van 'Parallel object-oriented specification language'. Samen vormen ze een unieke vingerafdruk.

Citeer dit