Výsledky vyhľadávania - "Semantics of Programming Languages. Process models"

A Calculus for Team Automata

Autori: ter Beek M. GADDUCCI, FABIO Janssens D.

Zdroj: Brazilian Symposium on Formal Methods (SBMF'06), pp. 41–55, Natal, Rio Grande do Norte, Brazil, 17-23 Settembre 2006
info:cnr-pdr/source/autori:Ter Beek M. H.; Gadducci F.; Janssens D./congresso_nome:Brazilian Symposium on Formal Methods (SBMF'06)/congresso_luogo:Natal, Rio Grande do Norte, Brazil/congresso_data:17-23 Settembre 2006/anno:2008/pagina_da:41/pagina_a:55/intervallo_pagine:41–55
Brazilian Symposium on Formal Methods (SBMF'06), Natal, Rio Grande do Norte, Br, 17-23/09/2017
info:cnr-pdr/source/autori:Ter Beek M., Gadducci F., Janssens D./congresso_nome:Brazilian Symposium on Formal Methods (SBMF'06)/congresso_luogo:Natal, Rio Grande do Norte, Br/congresso_data:17-23%2F09%2F2017/anno:2006/pagina_da:/pagina_a:/intervallo_pagine
ISTI Technical reports, 2005
Brazilian Symposium on Formal Methods, 59-72, Universitate Federal do Rio Grande do Sul, Natal, Brazil, September 17-23, 2006
Electronic notes in theoretical computer science

Predmety: Computer. Automation, process calculi, Semantics of Programming Languages. Algebraic approaches to semantics, Semantics of Programming Languages. Process models, F.1.1 Models of Computation. Automata, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Process calculi, Team automata, Theoretical Computer Science, F.3.2 Models of Computation. Relations between models, 0202 electrical engineering, electronic engineering, information engineering, Compositional specification, Process calculus, Computer Science(all)

Popis súboru: application/pdf; pdf

Prístupová URL adresa: https://publications.cnr.it/doc/120355
http://fmt.isti.cnr.it/~mtbeek/terBeekGadducciJanssens.pdf
http://www.cnr.it/prodotto/i/120355
https://publications.cnr.it/doc/160216
http://www.cnr.it/prodotto/i/160216
https://www.sciencedirect.com/science/article/abs/pii/S157106610800011X
https://core.ac.uk/display/54913895
http://fmt.isti.cnr.it/~mtbeek/SBMF08.pdf
https://repository.uantwerpen.be/docman/irua/4ee01a/7a249c44.pdf
https://dblp.uni-trier.de/db/journals/entcs/entcs195.html#BeekGJ08
https://arpi.unipi.it/handle/11568/125939
https://hdl.handle.net/20.500.14243/102149
http://fmt.isti.cnr.it/~mtbeek/terBeekGadducciJanssens.pdf
https://hdl.handle.net/20.500.14243/58471
https://doi.org/10.1016/j.entcs.2007.08.022
https://hdl.handle.net/10067/646170151162165141
https://repository.uantwerpen.be/docman/irua/4ee01a/7a249c44.pdf
https://hdl.handle.net/10067/1009270151162165141

A Logic for True Concurrency

Autori: Paolo Baldan Silvia Crafa The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Paolo Baldan Silvia Crafa The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.math.unipd.it/%7Ebaldan/Papers/Soft-copy-pdf/JACM-ConcLogic-2014.pdf.

Predmety: Categories and Subject Descriptors, F.1.2 [Computation by Abstract Devices, Modes of Computation— Parallelism and concurrency, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Process models, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic— Temporal logic General Terms, Languages, Theory, Verification Additional Key Words and Phrases, True concurrency, causality, mu-calculus, behavioural equivalences, history-preserving bisimilarity, event structures

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.697.320

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.697.320
http://www.math.unipd.it/%7Ebaldan/Papers/Soft-copy-pdf/JACM-ConcLogic-2014.pdf

Acyclic Solos and Differential Interaction Nets ∗

Autori: Thomas Ehrhard Preuves Programmes Systèmes Olivier Laurent a ďalší

Prispievatelia: Thomas Ehrhard Preuves Programmes Systèmes Olivier Laurent a ďalší

Zdroj: http://www.pps.jussieu.fr/%7Eehrhard/pub/solos.pdf.

Predmety: solos calculus, pi-calculus, prefix, typing, differential interaction nets. ACM classification, F.3.2 Semantics of Programming Languages — Process models, F.4.1 Mathematical Logic — Lambda calculus and related systems, F.1.2 Modes of Computation —

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.224.1775; http://www.pps.jussieu.fr/%7Eehrhard/pub/solos.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.224.1775
http://www.pps.jussieu.fr/%7Eehrhard/pub/solos.pdf