Sciweavers

ESOP
2009
Springer
13 years 10 months ago
Minimization Algorithm for Symbolic Bisimilarity
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
Filippo Bonchi, Ugo Montanari
HICSS
2010
IEEE
165views Biometrics» more  HICSS 2010»
13 years 10 months ago
Taking Universal Perspective in Design: A Plea for Two Reflective Principles and Mechanisms
Current approaches to the design of interactive systems emphasize openness, dynamic behavior, and evolution of the system. There is also a growing interest in accounting for human...
Fahri Yetim