Interprocess-Communication (IPC) in a Resource Sharing Network (Using Datagram-Service). - Berthold Butscher; R. Irsigler; Friedrich H. Vogt (Rechnernetze und Datenfernverarbeitung, 1976)

X 25 Based Process - Process Communication. - Friedrich Hertweck; Eckart Raubold; Friedrich H. Vogt (Comput. Networks, 1978)

Message link protocol (MLP): functional specification. - Gregor v. Bochmann; Friedrich H. Vogt (Comput. Commun. Rev., 1979)

Event-Based Temporal Logic Specifications of Services and Protocols. - Friedrich H. Vogt (PSTV, 1982)

Interval Logic: A Higher-Level Temporal Logic for Protocol Specification. - Richard L. Schwartz; P. M. Melliar-Smith; Friedrich H. Vogt (Protocol Specification, Testing, and Verification, 1983)

An Interval-Based Temporal Logic. - Richard L. Schwartz; P. M. Melliar-Smith; Friedrich H. Vogt (Logic of Programs, 1983)

An Interval Logic for Higher-Level Temporal Reasoning. - Richard L. Schwartz; P. M. Melliar-Smith; Friedrich H. Vogt (PODC, 1983)

Praktischer Einsatz und Weiterentwicklung von Estelle. - Caroline Andrae; Jan Bredereke; C. Hille; D. Peter; T. Reimer; U. Schüler; Reinhard Gotzhein; Friedrich H. Vogt (GI Jahrestagung, 1991)

The Design of a Temporal Logic for Open Distributed Systems. - Reinhard Gotzhein; Friedrich H. Vogt (Open Distributed Processing, 1991)

Design of a formal Estelle semantics for verification. - Jan Bredereke; Reinhard Gotzhein; Friedrich H. Vogt (FORTE, 1992)

Formal Specification of a Web Services Protocol. - James E. Johnson; David E. Langworthy; Leslie Lamport; Friedrich H. Vogt (WSFM, 2004)

Implementing Web Service Protocols in SOA: WS-Coordination and WS-BusinessActivity. - Friedrich H. Vogt; Simon Zambrovski; Boris Gruschko; Peter Furniss; Alastair Green (CEC Workshops, 2005)