Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
The Formal Semantics of Core ABS and ABS-NET
KTH, School of Computer Science and Communication (CSC), Theoretical Computer Science, TCS.
2013 (English)Report (Other academic)
Abstract [en]

ABS is a language and framework for modelling distributed object-oriented systems, developed in the EU FP7 HATS project. Core ABS formalizes the key parts of ABS, including the syntax, type system, and an operational semantics in the style of rewriting logic. ABS-NET is a novel operational semantics for Core ABS programs, developed as a part of work on decentralized runtime adaptation of distributed objects. ABS-NET describes program execution on top of a network of nodes connected point-to-point with asynchronous message passing links. This report describes the syntax and semantics of Core ABS and ABS-NET, and is meant to serve as a reference, while highlighting the differences between the reference semantics of ABS programs and the ABS-NET semantics.

Place, publisher, year, edition, pages
KTH Royal Institute of Technology, 2013. , 18 p.
Keyword [en]
distributed objects, semantics of programming languages, network protocols
National Category
Computer Systems
Research subject
SRA - ICT
Identifiers
URN: urn:nbn:se:kth:diva-127894OAI: oai:DiVA.org:kth-127894DiVA: diva2:646573
Funder
EU, FP7, Seventh Framework Programme, 6854
Note

QC 20130919

Available from: 2013-09-09 Created: 2013-09-09 Last updated: 2013-09-19Bibliographically approved

Open Access in DiVA

core-abs-net.pdf(304 kB)128 downloads
File information
File name FULLTEXT01.pdfFile size 304 kBChecksum SHA-512
5eb07a2b464a94ffc9f083ea4d617015574bc0231562f3f370448f2ce809edb8cd176dab453f1d3e5785593042082bd4ca68f3398bcf0ab396aa62e204669061
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Palmskog, Karl
By organisation
Theoretical Computer Science, TCS
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 128 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 147 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf