![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.