Sciweavers

2 search results - page 1 / 1
» On Rule Formats for Zero and Unit Elements
Sort
View
74
Voted
ENTCS
2010
114views more  ENTCS 2010»
14 years 9 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
15 years 6 months ago
A Rule Format for Unit Elements
Luca Aceto, Anna Ingólfsdóttir, Moha...