Logo del repository
  1. Home
 
Opzioni

A Calculus for Subjective Communication

Miculan M.
•
Paier M.
2022
  • conference object

Abstract
In this paper we introduce Subjective Communication, a new interaction model for CAS and generalizing the attribute-based communication introduced in the AbC calculus. In this model, a message is broadcasted to every process, but each process can view the very same message in different ways, depending on its attributes. To formalize this model, we introduce SCC, the Subjective Communication Calculus, for which we propose two semantics: Direct SCC, particularly useful when dealing with an edge computing communication paradigm, and Indirect SCC, more suited to a cloud-centric model. We then introduce a stateless bisimilarity for our semantics, which we prove to be a congruence.
Archivio
https://hdl.handle.net/11390/1238704
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85143252983
https://ceur-ws.org/Vol-3284/1841.pdf
https://ricerca.unityfvg.it/handle/11390/1238704
Diritti
open access
Soggetti
  • Concurrency theory

  • Distributed System

  • Process algebra

google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback