The NUNET-UNIX interface protocol description

The NUNET-UNIX interface protocol description

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Hughes, Frank Lawrence (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Newcastle upon Tyne 1985
Schriftenreihe:	Computing Laboratory <Newcastle-upon-Tyne>: Technical report series 212
Schlagworte:	Computer hardware Computer software Computer engineering
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

An architecture of UNIX United
von: Black, James Peterson, et al.
Veröffentlicht: (1986)

A CCS specification of the OSI network service
von: Shields, Michael William 1950-, et al.
Veröffentlicht: (1983)

UDSTP, a transport protocol for a uniform datagram service
von: Lee, Thomas A., et al.
Veröffentlicht: (1985)

A COSY banker specification of highly parallel and distributed resource management
von: Lauer, Peter E., et al.
Veröffentlicht: (1980)

The unit silicon compiler
von: Deas, Alexander R.
Veröffentlicht: (1983)

A formalisation of the VHDL simulation cycle
von: Van Tassel, John P.
Veröffentlicht: (1992)

The Compleat LKB
von: Copestake, Ann
Veröffentlicht: (1993)

Evolution of operating system structures
von: Bacon, Jean M.
Veröffentlicht: (1989)

Software and hardware of high integrity systems project final report
von: Panzieri, Fabio
Veröffentlicht: (1982)

On context streams and the boundedness of context flow graphs
von: Lees, Timothy
Veröffentlicht: (1990)

A relation-based approach to analysing semantics of asynchronous hardware specifications
von: Yakovlev, Alexandre V.
Veröffentlicht: (1989)

A HOL semantics for a subset of ELLA
von: Boulton, Richard J.
Veröffentlicht: (1992)

Operational semantics based formal symbolic simulation
von: Goossens, Kees G.
Veröffentlicht: (1992)

Fault tolerance and system structuring
von: Randell, Brian
Veröffentlicht: (1983)

Design and development of communication protocols for local area networks
von: Panzieri, Fabio
Veröffentlicht: (1985)

Private ATM networks
von: Greaves, David J., et al.
Veröffentlicht: (1992)

Verifications of sections of the FTAM protocol using Prolog
von: Bunting, John W.
Veröffentlicht: (1992)

The distributed computing software project
von: Gimson, Roger, et al.
Veröffentlicht: (1985)

Local area micronetworks and their management
von: Ford, Neville J.
Veröffentlicht: (1989)

Building reliable secure computing systems out of unreliable insecure components
von: Dobson, John E., et al.
Veröffentlicht: (1986)

Application development in practice Xephon user survey
Veröffentlicht: (1983)

A view mechanism for an integrated project support environment
von: Brown, Alan W.
Veröffentlicht: (1988)

A new approach to the design and construction of protocol testers
von: Pavel, J. R.
Veröffentlicht: (1985)

Methods for comparing methods techniques in software development
von: Law, David
Veröffentlicht: (1988)

The computational complexity of counting
von: Jerrum, Mark 1955-
Veröffentlicht: (1994)

The sliding-window protocol in CSP
von: Paliwoda, K., et al.
Veröffentlicht: (1988)

A theory of bisimulation for the pi-calculus
von: Sangiorgi, Davide
Veröffentlicht: (1993)

RAISE specification of the MD4 message digest algorithm
von: Harry, Andrew
Veröffentlicht: (1992)

On computing the subset graph of a collection of sets
von: Pritchard, Paul
Veröffentlicht: (1994)

The application of programming languages to the production of reference implementations
von: Harry, Andrew
Veröffentlicht: (1992)

The standard ML core language
von: Milner, Robin 1934-2010
Veröffentlicht: (1984)

On the decidability of model checking for several my-calculi and Petri nets
von: Esparza, Javier 1964-
Veröffentlicht: (1993)

Networking issues in the Newcastle connection
von: Linton, Andrew Samuel John
Veröffentlicht: (1985)

The treatment of persistent objects in Arjuna
Veröffentlicht: (1989)

Automatic test generation for the triangle problem
von: North, N. D.
Veröffentlicht: (1990)

Extending the proof plan methodology to computer configuration problems
von: Lowe, Helen
Veröffentlicht: (1991)

On the treatment of orphans in a distributed system
von: Shrivastava, Santosh K.
Veröffentlicht: (1983)

The value of reference implementations and prototyping in a formal design and testing methodology
von: Harry, Andrew
Veröffentlicht: (1992)

State of the art techniques in automatic generation of reference implementations & test code from formal specifications
von: Harry, Andrew
Veröffentlicht: (1992)

New methods and techniques for information management
Veröffentlicht: (1986)