A monotone framework for CCS

Nielson, Hanne Riis; Nielson, Flemming

doi:10.1016/j.cl.2008.07.001

Search citation statements

Order By: Relevance

Paper Sections

Select...

Results1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2009

2013

Publication Types

Select...

Article3

Other2

Relationship

Self Cite2

Independent3

Authors

Journals

Cited by 7 publications

(1 citation statement)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This is important because a number of recent special purpose process algebras often take a reaction semantics approach and also use general forms of recursion and guarded sum in order to avoid "modelling artifacts" of the systems. Indeed, careful technical developments like [11] (on the set of exposed labels) and [4] (on the set of observable free names) go a long way towards adopting the approach of Definition 1.…”

Section: Resultsmentioning

confidence: 99%