Searching for "Receptive Process Theory." – sorted by Relevance.
-
High Integrity Hardware-Software Codesign
- of integrity. This process incorporates the use of Synchronous Receptive Process Theory as a semantic basis
- Cited by 4 (2 self) – Add To MetaCart
-
On applying software development best practice to FPGAs in safety-critical systems
- Synchronous Receptive Process Theory (SRPT), described in [1], was developed from Josephs’ Receptive Process
- Cited by 2 (2 self) – Add To MetaCart
-
Quiescence, Fairness, Testing, and the Notion of Implementation (Extended abstract)
- : the Receptive Process Theory of Mark Josephs [9], which is used for the specification and verification of delay
- Add To MetaCart
-
Mandated requirements for hardware/software combination in safety-critical systems
- into an implementation’. We use Synchronous Receptive Process Theory (SRPT) to model formally the structure of FPGAs
- Cited by 2 (2 self) – Add To MetaCart
-
Delay-Insensitive Interface Specification and Synthesis
- well understood semantic model for DI-Algebra (Receptive Process Theory [9]) to facilitate such things
- Cited by 4 (3 self) – Add To MetaCart
-
Formalization of a Software Architecture for Embedded Systems: a Process Algebra for Splice
- is a sub-theory of receptiveness process theory and the development of SPA is inspired by [21] where
- Cited by 5 (2 self) – Add To MetaCart
-
A Process Algebraic Semantics for Core - ELLA
- . were commissioned to indicate how Receptive Process Theory could be developed, to encode a subset
- Cited by 2 (2 self) – Add To MetaCart
-
Building-blocks for Designing DI Circuits
- -intuitive, but more concise, algebra based on a variant of Trace Theory, called Receptive Process Theory [JU91
- Cited by 4 (3 self) – Add To MetaCart
-
The Semantics of Triveni: A Process-Algebraic API for Threads + Events
- , Seg92]), Complete Trace Structures [Dil88], and Receptive Process Theory [Jos92]. These theories
- Cited by 2 (1 self) – Add To MetaCart
-
A Process Algebraic View of I/O Automata
- /O Automata (DIOA). This demonic approach has been partially influenced by the Receptive Process Theory (RPT
- Add To MetaCart

