150 citations · 623 across the 65 of their papers we have counts for
Showing 2011 · cs.LOShow all
2 papers · 2 filters
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…