Sciweavers

2 search results - page 1 / 1
» On Rule Formats for Zero and Unit Elements
Sort
View
ENTCS
2010
114views more  ENTCS 2010»
13 years 5 months ago
On Rule Formats for Zero and Unit Elements
This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our de...
Luca Aceto, Matteo Cimini, Anna Ingólfsd&oa...
SOFSEM
2010
Springer
14 years 1 months ago
A Rule Format for Unit Elements
Luca Aceto, Anna Ingólfsdóttir, Moha...