The STSLib Project: Towards a Formal Component Model Based on STS

Fabrício Fernandes, Jean-Claude Royer. The STSLib Project: Towards a Formal Component Model Based on STS. Electronic Notes in Theoretical Computer Science, 215:131-149, 2008. [doi]

Abstract

Abstract is missing.