Suchergebnisse - "distributed programming with message passing"

A semantics comparison workbench for a concurrent, asynchronous, distributed programming language

Autoren: Claudio Corrodi Alexander Heußner Christopher M. Poskitt

Quelle: Formal Aspects of Computing. 30:163-192

Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, runtime semantics, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Computer Science - Software Engineering, 0202 electrical engineering, electronic engineering, information engineering, Computer Science - Programming Languages, verification/analysis parameterised by semantics, object-oriented programming, SCOOP, GROOVE, 16. Peace & justice, concurrency abstractions, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), Programming Languages and Compilers, Computer Science - Distributed, Parallel, and Cluster Computing, distributed programming with message passing, operational semantics, concurrent asynchronous programming, graph transformation systems, Distributed, Parallel, and Cluster Computing (cs.DC), software engineering, Programming Languages (cs.PL)

Dateibeschreibung: application/pdf

Zugangs-URL: https://ink.library.smu.edu.sg/sis_research/4857
http://arxiv.org/abs/1710.03928
http://export.arxiv.org/abs/1710.03928
https://export.arxiv.org/pdf/1710.03928
https://arxiv.org/pdf/1710.03928.pdf
https://arxiv.org/abs/1710.03928
https://dl.acm.org/doi/10.1007/s00165-017-0443-1
https://doi.org/10.1007/s00165-017-0443-1
https://ink.library.smu.edu.sg/sis_research/4857/
http://ui.adsabs.harvard.edu/abs/2017arXiv171003928C/abstract
https://dblp.uni-trier.de/db/journals/corr/corr1710.html#abs-1710-03928
https://link.springer.com/article/10.1007%2Fs00165-017-0443-1