EPTCS 46 - FIT 2010

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1101-4266
- ask others
Axel Legay, Benoît Caillaud (Eds.): Proceedings Foundations for Interface Technologies. 2010 EPTCS 46 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1101-4731
- ask others
Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch: Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems. ... 1-8
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1101-4732
- ask others
Maria Grazia Buscemi, Hernán C. Melgratti: Contracts for Abstract Processes in Service Composition. ... 9-27
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1101-4733
- ask others
Michael Mendler: An Algebra of Synchronous Scheduling Interfaces. ... 28-48
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1101-4734
- ask others
Axel Legay, Andrzej Wasowski: A Few Considerations on Structural and Logical Composition in Specification Theories. ... 49-54