An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation.

Józef Winkowski

Published in: Fundam. Informaticae (2009)

Keyphrases

concurrent systems
main contribution
conceptual framework
video sequences
social networks
multimedia
key features
database
real time
real world
feature selection
website
case study
lightweight