Friedrich H. Vogt

According to our database, Friedrich H. Vogt authored at least 12 papers between 1976 and 2005.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2005

Implementing Web Service Protocols in SOA: WS-Coordination and WS-BusinessActivity.

Friedrich H. Vogt, Simon Zambrovski, Boris Gruschko, Peter Furniss, Alastair Green

Proceedings of the 7th IEEE International Conference on E-Commerce Technology Workshops (CEC 2005 Workshops), 2005

2004

Formal Specification of a Web Services Protocol.

James E. Johnson, David E. Langworthy, Leslie Lamport, Friedrich H. Vogt

Proceedings of the First International Workshop on Web Services and Formal Methods, 2004

1992

Design of a formal Estelle semantics for verification.

Jan Bredereke, Reinhard Gotzhein, Friedrich H. Vogt

Proceedings of the Formal Description Techniques, 1992

1991

The Design of a Temporal Logic for Open Distributed Systems.

Reinhard Gotzhein, Friedrich H. Vogt

Proceedings of the Open Distributed Processing: Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing, 1991

Praktischer Einsatz und Weiterentwicklung von Estelle.

Caroline Andrae, Jan Bredereke, C. Hille, D. Peter, T. Reimer, U. Schüler, Reinhard Gotzhein, Friedrich H. Vogt

Proceedings of the Telekommunikation und multimediale Anwendungen der Informatik, 1991

1983

An Interval Logic for Higher-Level Temporal Reasoning.

Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt

Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, 1983

An Interval-Based Temporal Logic.

Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt

Proceedings of the Logics of Programs, 1983

Interval Logic: A Higher-Level Temporal Logic for Protocol Specification.

Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

1982

Event-Based Temporal Logic Specifications of Services and Protocols.

Friedrich H. Vogt

Proceedings of the Protocol Specification, 1982

1979

Message link protocol (MLP): functional specification.

Gregor v. Bochmann, Friedrich H. Vogt

Comput. Commun. Rev., 1979

1978

X 25 Based Process - Process Communication.

Friedrich Hertweck, Eckart Raubold, Friedrich H. Vogt

Comput. Networks, 1978

1976

Interprocess-Communication (IPC) in a Resource Sharing Network (Using Datagram-Service).

Berthold Butscher, R. Irsigler, Friedrich H. Vogt

Proceedings of the Rechnernetze und Datenfernverarbeitung, 1976