English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  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

Files

show Files

Locators

show

Creators

hide
 Creators:
Navarro Perez, Juan A.1, Author
Rybalchenko, Andrey2, 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: 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: -