EDIS: Guide | FAQ | New | Search | Bibliography | Index | Feedback

Miracle

Specifications

Informal

is a system that implements any other system with the same input and output terminals.

is mainly of interest in calculations with DI specifications, as a system in a state that it cannot reach.

XDI

There is no schematic for Miracle.

Specification in XDI model:

(AND/IF_1.0
  (NFA
    (NAME Miracle)
    (STATES
      (TOP INITIAL)
    )
    (TRANSITIONS
     
    )
  )
)
Also available through this link

Verdect

No information available

DI Algebra

In DI Algebra can have any (finite) number of input output terminals (known as the alphabet). Any process P equivalent to Miracle can be specified as 
NAME = "Miracle"
I = 
O = 
P = TOP

Properties

XDI Report.

Implementations

DI Decompositions

    In models for DI systems, like DI Algebra or the XDI Model, is the largest process in the refinement ordering, and its behavior hence implements the behavior of any system with a compatible alphabet.

Using Boolean Gates

No information available

Using Transistors

No information available

Generalizations

No information available

Miscellaneous

No information available

References

Last modified at Fri Nov 20 10:11:40 1998
Encyclopaedia of Delay-Insensitive Systems
Copyright © 1995-1998 Tom Verhoeff / Tom.Verhoeff@acm.org