Friedrich H. Vogt

15 papers A* 1C 1Journal 3Unranked 8
YearRankTypeTitle / Venue / Authors
2007 J jnl
Formal specification of a Web services protocol.
J. Log. Algebraic Methods Program.
James E. Johnson, David E. Langworthy, Leslie Lamport, Friedrich H. Vogt
2005 — conf
Implementing Web Service Protocols in SOA: WS-Coordination and WS-BusinessActivity.
CEC Workshops
Friedrich H. Vogt, Simon Zambrovski, Boris Gruschko, Peter Furniss, Alastair Green
2004 — conf
Formal Specification of a Web Services Protocol.
WSFM
James E. Johnson, David E. Langworthy, Leslie Lamport, Friedrich H. Vogt
1992 C conf
Design of a formal Estelle semantics for verification.
FORTE
Jan Bredereke, Reinhard Gotzhein, Friedrich H. Vogt
1992 — ed.
Personal Computers and Intelligent Systems - Information Processing '92, Volume 3, Proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992
IFIP Congress (3)
Friedrich H. Vogt
1991 — conf
Praktischer Einsatz und Weiterentwicklung von Estelle.
GI Jahrestagung
Caroline Andrae, Jan Bredereke, C. Hille, D. Peter, T. Reimer, U. Schüler, Reinhard Gotzhein, Friedrich H. Vogt
1991 — conf
The Design of a Temporal Logic for Open Distributed Systems.
Open Distributed Processing
Reinhard Gotzhein, Friedrich H. Vogt
1988 — ed.
Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings
Concurrency
Friedrich H. Vogt
1983 A* conf
An Interval Logic for Higher-Level Temporal Reasoning.
PODC
Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt
1983 — conf
An Interval-Based Temporal Logic.
Logic of Programs
Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt
1983 — conf
Interval Logic: A Higher-Level Temporal Logic for Protocol Specification.
Protocol Specification, Testing, and Verification
Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt
1982 — conf
Event-Based Temporal Logic Specifications of Services and Protocols.
PSTV
Friedrich H. Vogt
1979 J jnl
Message link protocol (MLP): functional specification.
Comput. Commun. Rev.
Gregor v. Bochmann, Friedrich H. Vogt
1978 J jnl
X 25 Based Process - Process Communication.
Comput. Networks
Friedrich Hertweck, Eckart Raubold, Friedrich H. Vogt
1976 — conf
Interprocess-Communication (IPC) in a Resource Sharing Network (Using Datagram-Service).
Rechnernetze und Datenfernverarbeitung
Berthold Butscher, R. Irsigler, Friedrich H. Vogt