ARTICLE
|
doi:10.20944/preprints202404.1400.v1
Subject:
Software,
Computer Science And Mathematics
Keywords:
Calculus of Context-aware Ambients; CCA; Petri nets; dining cryptographers problem; experiments; simulation; ccaPL; formal methods
Online: 23 April 2024 (03:03:39 CEST)
ARTICLE
Online: 15 June 2020 (10:58:30 CEST)