Towards a process calculus for REST: current state of the art

DOI10.1515/FCDS-2015-0015zbMath1328.68018OpenAlexW2413100037MaRDI QIDQ902704

Dariusz Dwornikowski, Jerzy Brzeziński, Andrzej Stroiński

Publication date: 4 January 2016

Published in: Foundations of Computing and Decision Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/fcds-2015-0015

zbMATH Keywords

process calculiformal modelingRESTROASOA

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Internet topics (68M11)

Uses Software

• SLMC
• Orc
• Linda
• Jolie

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Introduction to Bisimulation and Coinduction
• The Orc Programming Language
• Branching time and abstraction in bisimulation semantics
• Generative communication in Linda
• The Conversation Calculus: A Model of Service-Oriented Computation
• A Calculus for Orchestration of Web Services

This page was built for publication: Towards a process calculus for REST: current state of the art