-
1
المصدر: Electronic Notes in Theoretical Computer Science 1-4 SUPPL. (105): 147-158 (2004-12-10)
مصطلحات موضوعية: Model checking, Standards, General Computer Science, Tla, Logic, Computer science, SOAP, computer.internet_protocol, Informatik [004], computer.software_genre, Theoretical Computer Science, Language Of Temporal Ordering Specification, Formal specification, Protocol (object-oriented programming), Atomicity, Programming language, tla, Verification, Formal methods, specification, Computational Theory and Mathematics, standards, ddc:004, Web service, verification, WS-Policy, Specification, computer, Software, Computer Science(all)
وصف الملف: application/pdf
-
2
المؤلفون: Reinhard Gotzhein, Friedrich H. Vogt
المصدر: Open Distributed Systems ISBN: 9783528053581
Open Distributed Processingمصطلحات موضوعية: Distributed design patterns, Formalism (philosophy of mathematics), Computer science, Interval temporal logic, Distributed computing, Conceptual system, Temporal logic, Architecture
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::51dec06c5e1c0dc6c4c0b1d636ffb15f
https://doi.org/10.1007/978-3-322-86009-5_4 -
3
المؤلفون: Friedrich H. Vogt, Jan Bredereke, C. Hille, Caroline Andrae, D. Peter, U. Schüler, Reinhard Gotzhein, T. Reimer
المصدر: Telekommunikation und multimediale Anwendungen der Informatik ISBN: 9783540547556
GI JahrestagungURL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4f08becdb8146a3d2601eeb0a2f7dff7
https://doi.org/10.1007/978-3-642-77060-9_25 -
4
المؤلفون: Eckart Raubold, Friedrich Hertweck, Friedrich H. Vogt
المصدر: Computer Networks (1976). 2:250-270
مصطلحات موضوعية: Computer Networks and Communications, Computer science, business.industry, Interface (computing), Distributed computing, Controller (computing), Process (computing), computer.software_genre, Communication endpoint, Telecommunications network, Inter-process communication, Connectionless communication, Packet switching, business, computer, Host (network), Computer network
-
5
المؤلفون: Richard L. Schwartz, Friedrich H. Vogt, P. M. Melliar-Smith
المصدر: PODC
مصطلحات موضوعية: Reasoning system, Theoretical computer science, Computation tree logic, Linear temporal logic, Description logic, Computer science, Interval temporal logic, Multimodal logic, Temporal logic, Temporal logic of actions
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e2d3207dd044f1f6075637030fb761e3
https://doi.org/10.1145/800221.806720 -
6
المؤلفون: R. Irsigler, Friedrich H. Vogt, Berthold Butscher
المصدر: Rechnernetze und Datenfernverarbeitung ISBN: 9783540076728
Rechnernetze und Datenfernverarbeitungمصطلحات موضوعية: Inter-process communication, Flow control (data), Software, Datagram, business.industry, Computer science, Distributed computing, Routing algorithm, business, computer.software_genre, computer, Computer network, Shared resource
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ea588624b23cb521feaee67792f5f29e
https://doi.org/10.1007/978-3-642-66344-4_12 -
7
المؤلفون: Friedrich H. Vogt, P. M. Melliar-Smith, Richard L. Schwartz
المصدر: Logics of Programs ISBN: 9783540128960
Logic of Programsمصطلحات موضوعية: Critical section, Linear temporal logic, Computer science, Interval temporal logic, Interval (graph theory), Temporal logic, Arithmetic, Temporal logic of actions
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a3c4b039b39cadf9358dd8d21db91a95
https://doi.org/10.1007/3-540-12896-4_380 -
8مؤتمر
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.