Paper Info
Title
Some notes on the abstraction operation for multi-terminal binary decision diagrams
Abstract
The starting point of this work are inaccurate statements found in the literature for Multi-terminal Binary Decision Diagrams (MTBDDs) (Bahar et al., Form. Methods Syst. Des. 10(2/3):171---206, 1997; Siegle, Behaviour analysis of communication systems: compositional modelling, compact representation and analysis of performability properties, 2002; Kuntz, Symbolic semantics and verification of stochastic process algebras, 2006) regarding the well-definedness of the MTBDD abstraction operation. The statements try to relate an operation 驴 on a set of terminal values M to the property that the abstraction over this operation does depend on the order of the abstracted variables. This paper gives a necessary and sufficient condition for the independence of the abstraction operation of the order of the abstracted variables in the case of an underlying monoid and it treats the more general setting of a magma.
Year
DOI
Venue
2014
10.1007/s10703-013-0198-0
Formal Methods in System Design
Keywords
DocType
Volume
Switching function,Multi-terminal binary decision diagram,Abstraction operation,Algebraic decision diagram,Abstraction
Journal
44
Issue
ISSN
Citations 
1
0925-9856
0
PageRank 
References 
Authors
0.34
1
2
Name
Order
Citations
PageRank
Ludwig Griebl100.34
Johann Schuster2283.69