Searching for "Receptive Process Theory." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

High Integrity Hardware-Software Codesign
by Adrian J. Hilton, C. Eng — 2004
… 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
by Adrian Hilton, Jon G. Hall, Walton Hall, Adrian Hilton Jon — 2000 — Proceedings of the 10th International Conference on Field Programmable Logic and Applications (FPL’00), volume 1896 of Lecture Notes In Computer Science
… 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)
by Roberto Segala — 1993
…: 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
by Adrian J. Hilton, Bath Ba Px — 2002 — Engineering Institute, CarnegieMellon University
… 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
by Mark B. Josephs, Dennis Furey — 2000 — Proceedings of Design, Automation and Test in Europe (DATE
… 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
by Paul Dechering, Rix Groenboom, Edwin Jong, Jan Tijmen Udding — 1999 — In Proceedings of the Hawaiian International Conference on System Sciences (HICSS-32), Maui
… 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
by Howard Barringer, Graham Gough, Brian Monahan, Brian Monahan, Alan Williams, Alan Williams — 1993
…. 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
by Priyadarsan Patra, Donald Fussell — 1993 — Dept. of Computer Sciences, The Univ of Texas at Austin
…-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
by Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol, Konstantin L Aufer Carlos Puchol — 1998
…, 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
by Nancy A. Lynch, Roberto Segala, Roberto Segala — 1992
…/O Automata (DIOA). This demonic approach has been partially influenced by the Receptive Process Theory (RPT…
Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB