2000
DOI: 10.1007/3-540-44618-4_16
|View full text |Cite
|
Sign up to set email alerts
|

Process Spaces

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

1
21
0

Year Published

2001
2001
2022
2022

Publication Types

Select...
6
1

Relationship

1
6

Authors

Journals

citations
Cited by 24 publications
(22 citation statements)
references
References 11 publications
1
21
0
Order By: Relevance
“…As in [14], conjunction, disjunction and quotient are not considered. Process spaces introduced by Negulescu [29,30] are an abstract theory of process executions which allows one to separate assumptions on the environment from the requirements of processes. Dill's trace structures can be instantiated in this theory, but our results are not derivable.…”
Section: Related Workmentioning
confidence: 99%
“…As in [14], conjunction, disjunction and quotient are not considered. Process spaces introduced by Negulescu [29,30] are an abstract theory of process executions which allows one to separate assumptions on the environment from the requirements of processes. Dill's trace structures can be instantiated in this theory, but our results are not derivable.…”
Section: Related Workmentioning
confidence: 99%
“…[37][38][39][40], the use of contracts is extended to serve as a central design philosophy in systems engineering to support the design of CPS. As mentioned in Sec.…”
Section: Environment-centric Contractsmentioning
confidence: 99%
“…In subsection 2.1, we briefly overview the necessary notions from our verification framework, called process spaces; for more details, we refer the reader to [11] and [12]. In subsection 2.2., we briefly overview the active-edge specifications introduced in [7] and [13], which are used here to simplify the specification of control signals.…”
Section: Preliminariesmentioning
confidence: 99%
“…Two types of control ports proposed by [12], Demand-type (D-port) and Poll-type (P-port), are employed to control data transfer between two clock domains in a self-timed manner. Fig.…”
Section: Asynchronous Communicationmentioning
confidence: 99%
See 1 more Smart Citation