Page history
13 May 2010
4 November 2009
2 November 2009
23 October 2009
Clarified the behaviour of blocking actors
+354
Clarified the number of actors involved in a communication via a protocol
+352
22 October 2009
19 October 2009
→Basic messages
m+1
Forgot one PluginProtocolParent -> PPluginParent
m−15
Changed document to reflect naming scheme change of XProtocol* to PX*
−164
15 October 2009
14 July 2009
→Checkpoint 2
+311
no edit summary
+20
→Protocol state machines
m+270
→Protocol management
m+225
→Basic messages
m+457
→Protocol state machines
+3,623
no edit summary
+31
→Protocol management
+6,665
no edit summary
+27
→Basic messages
−22
→Basic messages
+187
no edit summary
+328
→Preferred semantics
+1,103
→RPC semantics
+1,146
→Semantics
+52
→Parameters
+45
→Direction
+649
→Protocols and actors
m+8
→Protocols and actors
−201
9 July 2009
no edit summary
+263
no edit summary
m+9
→Messages
m+13
→Semantics
+5,733
→Direction
m−1
→Messages
m+2
→Parameters
+1,395
→Direction
+48
→Messages
m+43
→Direction
+903
→Messages
+4,228
no edit summary
+2,936
Created page with 'IPDL is a domain-specific language that allows programmers to define a message-passing "protocol" between "actors." These "actors" are thread contexts, and they can execute both...'
+1,166