From 9010e37c3324b4b61203d4c0000329b58b1b96dd Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Sat, 28 Feb 2004 20:39:17 +0000
Subject: [PATCH] - Start of simple files.

---
 spdl/helloworld.spdl | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 spdl/helloworld.spdl

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);
+