Operational semantics for declarative networking

Navarro Perez, Juan A.; Rybalchenko, Andrey

doi:10.1007/978-3-540-92995-6_6

Local TagsRelease HistoryDetailsSummary

Operational semantics for declarative networking

Navarro Perez, J. A., & Rybalchenko, A. (2009). Operational semantics for declarative networking. In A. Gill, & T. Swift (Eds.), Practical Aspects of Declarative Languages (pp. 76-90). Berlin: Springer.

Item is Released

show all

Basic

hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-8C1B-3 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-8C1C-1

Genre: Conference Paper

Files

show Files

Locators

show

Creators

hide

Creators:
Navarro Perez, Juan A.¹, Author
Rybalchenko, Andrey^{2, 3}, Author

Affiliations:
1Max Planck Society, ou_persistent13
2Group A. Rybalchenko, Max Planck Institute for Software Systems, Max Planck Society, ou_2105299
3Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Content

show

Details

hide

Language(s): eng - English

Dates: Date issued: 2009

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 452323
DOI: 10.1007/978-3-540-92995-6_6

Degree: -

Event

hide

Title: 11th International Symposium, PADL 2009

Place of Event: Savannah, GA

Start-/End Date: 2009-01-19 - 2009-01-20

Legal Case

show

Project information

show

Source 1

hide

Title: Practical Aspects of Declarative Languages

Source Genre: Proceedings

Creator(s):
Gill, Andy, Editor
Swift, Terrance, Editor

Affiliations:
-

Publ. Info: Berlin : Springer

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 76 - 90 Identifier: ISBN: 978-3-540-92994-9

Source 2

hide

Title: Lecture notes in computer science

Source Genre: Series

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 5418 Sequence Number: - Start / End Page: - Identifier: -