diff --git a/spdl/helloworld.spdl b/spdl/helloworld.spdl new file mode 100644 index 0000000..001ed99 --- /dev/null +++ b/spdl/helloworld.spdl @@ -0,0 +1,17 @@ +usertype String, World; +secret HelloWorld: String; + +protocol hw(initiator,world) +{ + role initiator + { + send_1(initiator, world, HelloWorld); + claim_2(initiator, Secret, HelloWorld); + } +} + +const Alice, Bob: Agent; +const Earth, Mars: World; + +run hw.initiator(Agent,World); +