1997
DOI: 10.1007/bfb0000484
|View full text |Cite
|
Sign up to set email alerts
|

Preservation and reflection in specification

Abstract: Abstract. We extend the traditional notion of specification based on theories and interpretations between theories to model situations, typical of open, reactive systems, in which properties exhibited locally by an object no longer hold when that object is interconnected as a component of a larger system. The proposed notion of specification is based on the observation, due to Winskel, that while some assertions are preserved across morphisms of labelled transition systems, other are reflected. The distinction… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
9
0

Year Published

1999
1999
2013
2013

Publication Types

Select...
4
3

Relationship

0
7

Authors

Journals

citations
Cited by 11 publications
(9 citation statements)
references
References 16 publications
0
9
0
Order By: Relevance
“…Besides that we see that the fraction of blue galaxies is also larger for the middle and bottom panels. If we consider (g − r)0 = 0.75 as a typical color for red galaxies (Lopes 2007;Fukugita, Shimasaku, & Ichikawa 1995) and call blue galaxies with (g − r)0 0.65 (typical color minus 0.10) we see there is only a small number of blue objects that are also bulges in the three most dense bins (upper right panels). In all the other panels the number of blue objects increases, even for bulges in the two lowest density bins (upper left panels).…”
Section: Relations Of Physical Properties Of Galaxies and Their Envirmentioning
confidence: 99%
“…Besides that we see that the fraction of blue galaxies is also larger for the middle and bottom panels. If we consider (g − r)0 = 0.75 as a typical color for red galaxies (Lopes 2007;Fukugita, Shimasaku, & Ichikawa 1995) and call blue galaxies with (g − r)0 0.65 (typical color minus 0.10) we see there is only a small number of blue objects that are also bulges in the three most dense bins (upper right panels). In all the other panels the number of blue objects increases, even for bulges in the two lowest density bins (upper left panels).…”
Section: Relations Of Physical Properties Of Galaxies and Their Envirmentioning
confidence: 99%
“…Details regarding SDSS data extraction are provided in Paper I. There, we used SDSS photometric data to estimate more accurate photometric redshifts (z photo ;Lopes 2007), richnesses and optical luminosities for the full NoSOCS supplemental catalogue. We found 7414 systems well sampled in SDSS DR5.…”
Section: Data a N D M E T H O D Smentioning
confidence: 99%
“…The work reported in this paper made it clear that separate notions of morphism are necessary for modelling component interconnection during system configuration, and refinement for moving between different levels of abstraction. Similar distinctions were already recognised in [14] for specifications of system behaviour in temporal logic. Work is underway towards the integration of specifications and CommUnity designs in the proposed categorical framework.…”
Section: Discussionmentioning
confidence: 78%