Sheaf semantics for concurrent interacting objects
Goguen, Joseph A.Volume:
2
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/S0960129500001420
Date:
June, 1992
File:
PDF, 5.46 MB
english, 1992