Rule Formats for Distributivity 2011 (English)In: Language and Automata Theory and Applications: 5th International Conference : Proceedings / [ed] Adrian Horia Dediu, Heidelberg: Springer Berlin/Heidelberg, 2011, Vol. 6638, p. 79-90Conference paper, Published paper (Refereed)

Abstract [en]

This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats. © 2011 Springer-Verlag.

Place, publisher, year, edition, pages

Heidelberg: Springer Berlin/Heidelberg, 2011. Vol. 6638, p. 79-90

Series

Lecture Notes in Computer Science, ISSN 0302-9743 ; 6638

Keywords [en]

Binary operators, Distributivity, Rule formats, Structural operational semantics

National Category

Computer and Information Sciences

Identifiers

URN: urn:nbn:se:hh:diva-20333ISI: 000308848700005Scopus ID: 2-s2.0-79957943473ISBN: 978-364221253-6 OAI: oai:DiVA.org:hh-20333DiVA, id: diva2:583426

Conference

5th International Conference on Language and Automata Theory and Applications (LATA 2011), Tarragona, Spain, MAY 26-31, 2011

Available from: 2013-01-08 Created: 2013-01-08 Last updated: 2018-01-11Bibliographically approved

Open Access in DiVA

No full text in DiVA

Scopus

Authority records

Mousavi, Mohammad Reza

Search in DiVA

By author/editor

Mousavi, Mohammad Reza

On the subject

Computer and Information Sciences

Search outside of DiVA

GoogleGoogle ScholarTotal: 227 hits