|
Search the dblp DataBase
Friedrich H. Vogt:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jan Bredereke, Reinhard Gotzhein, Friedrich H. Vogt
Design of a formal Estelle semantics for verification. [Citation Graph (0, 0)][DBLP] FORTE, 1992, pp:153-168 [Conf]
- Caroline Andrae, Jan Bredereke, C. Hille, D. Peter, T. Reimer, U. Schüler, Reinhard Gotzhein, Friedrich H. Vogt
Praktischer Einsatz und Weiterentwicklung von Estelle. [Citation Graph (0, 0)][DBLP] GI Jahrestagung, 1991, pp:265-275 [Conf]
- Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt
Interval Logic: A Higher-Level Temporal Logic for Protocol Specification. [Citation Graph (0, 0)][DBLP] Protocol Specification, Testing, and Verification, 1983, pp:3-18 [Conf]
- Berthold Butscher, R. Irsigler, Friedrich H. Vogt
Interprocess-Communication (IPC) in a Resource Sharing Network (Using Datagram-Service). [Citation Graph (0, 0)][DBLP] Rechnernetze und Datenfernverarbeitung, 1976, pp:141-150 [Conf]
- Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt
An Interval-Based Temporal Logic. [Citation Graph (0, 0)][DBLP] Logic of Programs, 1983, pp:443-457 [Conf]
- Reinhard Gotzhein, Friedrich H. Vogt
The Design of a Temporal Logic for Open Distributed Systems. [Citation Graph (0, 0)][DBLP] Open Distributed Processing, 1991, pp:229-240 [Conf]
- Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt
An Interval Logic for Higher-Level Temporal Reasoning. [Citation Graph (0, 0)][DBLP] PODC, 1983, pp:173-186 [Conf]
- Friedrich H. Vogt
Event-Based Temporal Logic Specifications of Services and Protocols. [Citation Graph (0, 0)][DBLP] PSTV, 1982, pp:63-73 [Conf]
- Friedrich H. Vogt, Simon Zambrovski, Boris Gruschko, Peter Furniss, Alastair Green
Implementing Web Service Protocols in SOA: WS-Coordination and WS-BusinessActivity. [Citation Graph (0, 0)][DBLP] CEC Workshops, 2005, pp:21-28 [Conf]
- Friedrich Hertweck, Eckart Raubold, Friedrich H. Vogt
X 25 Based Process - Process Communication. [Citation Graph (0, 0)][DBLP] Computer Networks, 1978, v:2, n:, pp:250-270 [Journal]
- James E. Johnson, David E. Langworthy, Leslie Lamport, Friedrich H. Vogt
Formal Specification of a Web Services Protocol. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:105, n:, pp:147-158 [Journal]
- James E. Johnson, David E. Langworthy, Leslie Lamport, Friedrich H. Vogt
Formal specification of a Web services protocol. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2007, v:70, n:1, pp:34-52 [Journal]
Search in 0.004secs, Finished in 0.004secs
|