Angelicism in the theory of reactive processes

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Unifying Theories of Programming
Subtitle of host publication	5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
Publisher	Springer
Pages	42-61
Number of pages	20
ISBN (Electronic)	978-3-319-14806-9
ISBN (Print)	978-3-319-14805-2
DOIs	https://doi.org/10.1007/978-3-319-14806-9_3
Publication status	Published - 2015

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	8963
ISSN (Print)	0302-9743

Access to Document

@inproceedings{e79aedece9c14a1d83e276af864366fb,

title = "Angelicism in the theory of reactive processes",

author = "{De Oliveira Salazar Ribeiro}, {Pedro Fernando} and Cavalcanti, {A. L. C.}",

year = "2015",

doi = "10.1007/978-3-319-14806-9_3",

language = "English",

isbn = "978-3-319-14805-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "42--61",

booktitle = "Unifying Theories of Programming",

address = "Germany",

}

Angelicism in the theory of reactive processes. / De Oliveira Salazar Ribeiro, Pedro Fernando ; Cavalcanti, A. L. C.
Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Springer, 2015. p. 42-61 (Lecture Notes in Computer Science; Vol. 8963).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Angelicism in the theory of reactive processes

AU - De Oliveira Salazar Ribeiro, Pedro Fernando

AU - Cavalcanti, A. L. C.

PY - 2015

Y1 - 2015

U2 - 10.1007/978-3-319-14806-9_3

DO - 10.1007/978-3-319-14806-9_3

M3 - Conference contribution

SN - 978-3-319-14805-2

T3 - Lecture Notes in Computer Science

SP - 42

EP - 61

BT - Unifying Theories of Programming

PB - Springer

ER -