Pages that link to "Item:Q2703711"
From MaRDI portal
The following pages link to Rewriting semantics of meta-objects and composable distributed services (Q2703711):
Displaying 8 items.
- Comparing three coordination models: Reo, ARC, and PBRD (Q608351) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols (Q2643568) (← links)
- A secret-sharing protocol modelled in Maude (Q2851056) (← links)
- A formal framework for interactive agents (Q2864512) (← links)
- Comparing three coordination models: Reo, ARC, and RRD (Q2866318) (← links)
- Building correct-by-construction systems with formal patterns (Q6562511) (← links)