<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Action and State-based Logics for Process Algebras"^^ . "Process algebras are generally recognized as a convenient tool for describing concurrent systems at different levels of abstraction. They rely on a small set of basic operators which correspond to primitive notions on concurrent systems and on one or more notions of behavioural equivalence or preorder. The operators are used to build complex systems from more elementary ones. The behavioural equivalences are used to study the relationships between different descriptions of the same system at different levels of abstractions and thus to perform part of the analysis."^^ . "1991" . "527" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Jos"^^ . "C. M. Baeten"^^ . "Jos C. M. Baeten"^^ . . "Jan"^^ . "Friso Groote"^^ . "Jan Friso Groote"^^ . . . . . "HTML Summary of #375 \n\nAction and State-based Logics for Process Algebras\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .