Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

DamianiEtAl:FORTE-2015 (In a collection)
Author(s) Ferruccio Damiani, Mirko Viroli, Danilo Pianini and Jacob Beal
Title« Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields »
InFormal Techniques for Distributed Objects, Components, and Systems
SeriesLecture Notes in Computer Science
Editor(s) Susanne Graf and Mahesh Viswanathan
Volume9039
Page(s)113-128
Year2015
PublisherSpringer International Publishing
ISBN number978-3-319-19194-2
URLhttp://dx.doi.org/10.1007/978-3-319-19195-9_8

BibTeX code

@incollection{DamianiEtAl:FORTE-2015,
  volume = {9039},
  author = {Damiani, Ferruccio and Viroli, Mirko and Pianini, Danilo and Beal,
            Jacob},
  series = {Lecture Notes in Computer Science},
  booktitle = {Formal Techniques for Distributed Objects, Components, and
               Systems},
  editor = {Graf, Susanne and Viswanathan, Mahesh},
  url = {http://dx.doi.org/10.1007/978-3-319-19195-9_8},
  isbn = {978-3-319-19194-2},
  title = {Code Mobility Meets Self-organisation: A Higher-Order Calculus of
           Computational Fields},
  publisher = {Springer International Publishing},
  pages = {113-128},
  year = {2015},
  doi = {10.1007/978-3-319-19195-9_8},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!