Showing 2011Show all
2 papers · 1 filter
cs.LO2011
A Few Considerations on Structural and Logical Composition in Specification Theories
Axel Legay, Andrzej Wąsowski
Over the last 20 years a large number of automata-based specification theories have been proposed for modeling of discrete,real-time and probabilistic systems. We have observed a l…
cs.LO2011
Proceedings Foundations for Interface Technologies
Axel Legay, Benoît Caillaud
FIT stands for Foundations of Interface Technologies. Component-based design is widely considered as a major approach to developing systems in a time and cost effective way. Centra…