A sheaf semantics for FOOPS expressions (extended abstract)-Reference-Cited by-同舟云学术

A sheaf semantics for FOOPS expressions (extended abstract)

Published:1992 Issue: Volume: Page:81-98
ISSN:0302-9743
Container-title:Object-Based Concurrent Computing
language:
Short-container-title:

Author:

Wolfram D. A.,Goguen Joseph A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-55613-3_4.pdf

Reference18 articles.

1. J.W. Alexander, A theory of connectivity in terms of gratings, Ann. Math. 39 (1938) 883–912.

2. D.B. Benson, Global versus local enveloping behaviours of concurrent systems, Extended Abstract, Washington State University, Pullman, Washington, 1991.

3. D.B. Benson, Sheaves of Process Histories, Draft #7, Washington State University, Pullman, Washington, 1991.

4. R. Dubey, On a general definition of safety and liveness, M.Sc. thesis, Washington State University, Pullman, Washington, 1991.

5. H.-D. Ehrich, J.A. Goguen, and A. Sernadas, A categorial theory of objects as observed processes, in: Foundations of Object Oriented Languages, Proceedings of a REX/FOOL Workshop, (Noordwijkerhout, the Netherlands, May/June 1990), J.W. de Bakker, W.P. de Roever and G. Rozenberg (Eds.), Lecture Notes in Computer Science, Springer, Berlin, 489 (1991) 203–228.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Sheaves, Objects, and Distributed Systems;Electronic Notes in Theoretical Computer Science;2009-01

2. Sheaves and Structures of Transition Systems;Algebra, Meaning, and Computation;2006

3. In black and white;ACM Transactions on Software Engineering and Methodology;1998-07

4. An order-sorted approach to algebraic computation;Design and Implementation of Symbolic Computation Systems