Concurrent Objects in the Blue Calculus

A miniature multi-impedance transformer module specially adapted for use in telephony. In the preferred embodiment a pair of multi-winding transformers and a coil are configured to have connecting pins projecting both above and below the bodies thereof. The upward projecting pins are inserted in a printed circuit board carrying a plurality of connectors in a predetermined array. This assembly is installed in a miniaturized case and potted in place with the lower projecting pins extending below a mounting surface of the case. The lower surface and the downward projecting pin are adapted for ready mounting on a second printed circuit board. The connectors at the top of the module receive shorting plugs for selectively connecting the windings of the transformers and coil to provide impedance matching in telephone equipment. The miniaturized board mounted modules are readily adapted for high density rack mount applications.

[1]  Robin Milner,et al.  Barbed Bisimulation , 1992, ICALP.

[2]  Henk Barendregt,et al.  The Lambda Calculus: Its Syntax and Semantics , 1985 .

[3]  Gérard Boudol,et al.  Asynchrony and the Pi-calculus , 1992 .

[4]  Martín Abadi,et al.  An interpretation of objects and object types , 1996, POPL '96.

[5]  G. Erard Boudol,et al.  Typing the Use of Resources in a Concurrent Calculus (extended Abstract) , 1997 .

[6]  Kathleen Fisher,et al.  A Calculus for Concurrent Objects , 1996, CONCUR.

[7]  Silvano Dal Zilio.  Quiet and Bouncing Objects: Two Migration Abstractions in a Simple Distributed Blue Calculus , 1998 .

[8]  Martín Abadi,et al.  A Theory of Primitive Objects , 1996 .

[9]  Nobuko Yoshida,et al.  On Reduction-Based Process Semantics , 1995, Theor. Comput. Sci..

[10]  John C. Mitchell,et al.  Theoretical aspects of object-oriented programming: types, semantics, and language design , 1994, Choice Reviews Online.

[11]  Didier Rémy,et al.  Type inference for records in natural extension of ML , 1994 .

[12]  Elie Najm,et al.  A Formal Semantics for the ODP Computational Model , 1995, Comput. Networks ISDN Syst..

[13]  Davide Sangiorgi,et al.  Imperative objects and mobile processes , 1998, PROCOMET.

[14]  Gérard Boudol.  The π-calculus in direct style , 1997, POPL '97.

[15]  Andrew D. Gordon,et al.  A Concurrent Object Calculus: Reduction and Typing , 1998, HLCL.

[16]  Cliff B. Jones.  A pi-Calculus Semantics for an Object-Based Design Notation , 1993, CONCUR.

[17]  Silvano Dal Zilio,et al.  Implicit Polymorphic Type System for the Blue Calculus , 1997 .

[18]  Andrew D. Gordon,et al.  Compilation and Equivalence of Imperative Objects , 1997 .

[19]  Mitchell Wand,et al.  Complete Type Inference for Simple Objects , 1987, LICS.

[20]  Luca Cardelli,et al.  Operations on Records , 1989, Mathematical Foundations of Programming Semantics.

[21]  Robin Milner.  Functions as Processes , 1990, ICALP.

[22]  David N. Turner,et al.  The polymorphic Pi-calculus : theory and implementation , 1996 .

[23]  Davide Sangiorgi.  An Interpretation of Typed Objects into Typed -calculus an Interpretation of Typed Objects into Typed -calculus , 1996 .

[24]  John C. Mitchell,et al.  A Delegation-based Object Calculus with Subtying , 1995, FCT.