default search action
FIT 2010: Paris, France
- Axel Legay, Benoît Caillaud:
Proceedings Foundations for Interface Technologies, FIT 2010, Paris, France, 30th August 2010. EPTCS 46, 2010 - Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch:
Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems. 1-8 - Maria Grazia Buscemi, Hernán C. Melgratti:
Contracts for Abstract Processes in Service Composition. 9-27 - Michael Mendler:
An Algebra of Synchronous Scheduling Interfaces. 28-48 - Axel Legay, Andrzej Wasowski:
A Few Considerations on Structural and Logical Composition in Specification Theories. 49-54
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.