Friedrich H. Vogt

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

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2007
Formal specification of a Web services protocol.
J. Log. Algebr. Program., 2007

2005
Implementing Web Service Protocols in SOA: WS-Coordination and WS-BusinessActivity.
Proceedings of the 7th IEEE International Conference on E-Commerce Technology Workshops (CEC 2005 Workshops), 2005

2004
Formal Specification of a Web Services Protocol.
Electr. Notes Theor. Comput. Sci., 2004

1992
Design of a formal Estelle semantics for verification.
Proceedings of the Formal Description Techniques, 1992

1991
The Design of a Temporal Logic for Open Distributed Systems.
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.
Proceedings of the Telekommunikation und multimediale Anwendungen der Informatik, 1991

1983
An Interval Logic for Higher-Level Temporal Reasoning.
Proceedings of the Second Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1983

An Interval-Based Temporal Logic.
Proceedings of the Logics of Programs, 1983

Interval Logic: A Higher-Level Temporal Logic for Protocol Specification.
Protocol Specification, Testing, and Verification, 1983

1982
Event-Based Temporal Logic Specifications of Services and Protocols.
Proceedings of the Protocol Specification, 1982

1978
X 25 Based Process - Process Communication.
Computer Networks, 1978

1976
Interprocess-Communication (IPC) in a Resource Sharing Network (Using Datagram-Service).
Proceedings of the Rechnernetze und Datenfernverarbeitung, 1976


  Loading...