- Start of simple files.

2004-02-28 20:39:17 +00:00 · 2004-02-28 20:39:17 +00:00 · 9010e37c33
commit 9010e37c33
parent 2edf686a3e
1 changed files with 17 additions and 0 deletions
--- a/spdl/helloworld.spdl
+++ 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);
+