Friedrich H. Vogt

Publication Activity (10 Years)

Years Active: 1976-2007
Publications (10 Years): 0

Publications

James E. Johnson, David E. Langworthy, Leslie Lamport, Friedrich H. Vogt
Formal specification of a Web services protocol. J. Log. Algebraic Methods Program. 70 (1) (2007)
Friedrich H. Vogt, Simon Zambrovski, Boris Gruschko, Peter Furniss, Alastair Green
Implementing Web Service Protocols in SOA: WS-Coordination and WS-BusinessActivity. CEC Workshops (2005)
James E. Johnson, David E. Langworthy, Leslie Lamport, Friedrich H. Vogt
Formal Specification of a Web Services Protocol. Electron. Notes Theor. Comput. Sci. 105 (2004)
Jan Bredereke, Reinhard Gotzhein, Friedrich H. Vogt
Design of a formal Estelle semantics for verification. FORTE (1992)
Caroline Andrae, Jan Bredereke, C. Hille, D. Peter, T. Reimer, U. Schüler, Reinhard Gotzhein, Friedrich H. Vogt
Praktischer Einsatz und Weiterentwicklung von Estelle. GI Jahrestagung (1991)
Reinhard Gotzhein, Friedrich H. Vogt
The Design of a Temporal Logic for Open Distributed Systems. Open Distributed Processing (1991)
Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt
An Interval-Based Temporal Logic. Logic of Programs (1983)
Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt
Interval Logic: A Higher-Level Temporal Logic for Protocol Specification. Protocol Specification, Testing, and Verification (1983)
Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt
An Interval Logic for Higher-Level Temporal Reasoning. PODC (1983)
Friedrich H. Vogt
Event-Based Temporal Logic Specifications of Services and Protocols. PSTV (1982)
Gregor v. Bochmann, Friedrich H. Vogt
Message link protocol (MLP): functional specification. Comput. Commun. Rev. 9 (2) (1979)
Friedrich Hertweck, Eckart Raubold, Friedrich H. Vogt
X 25 Based Process - Process Communication. Comput. Networks 2 (1978)
Berthold Butscher, R. Irsigler, Friedrich H. Vogt
Interprocess-Communication (IPC) in a Resource Sharing Network (Using Datagram-Service). Rechnernetze und Datenfernverarbeitung (1976)