Axiomatizing GSOS with Termination

Baeten, J.C.M.; Vink, Erik P. de

doi:10.1007/3-540-45841-7_48

Search citation statements

Order By: Relevance

Paper Sections

Select...

An Alternative Rule Format For Zero Elements1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2003

2011

Publication Types

Select...

Article4

Book2

Relationship

Self Cite0

Independent6

Authors

Journals

Cited by 8 publications

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…where the variables z k are fresh and pairwise distinct. With this encoding of predicates, which preserves finiteness of a language specification, the format proposed in Definition 16 is immediately applicable to all the examples we discussed in Section 6, as well as to those mentioned in, e.g., [12].…”

Section: An Alternative Rule Format For Zero Elementsmentioning

confidence: 99%