scribble-lang

Contact owners and managers

1–9 of 9

Welcome to the Scribble Protocol Language discussion forum. For information about the protocol language, and the tools that support it, please go to http://www.scribble.org.

This forum is intended for general discussions on the protocol language and the capabilities that can be provided via tooling.

0 selected

Prantik Chatterjee

11/27/20

How to specify properties to verify

We are trying to use scribble to verify hydra which is a distributed framework for bounded model

unread,

How to specify properties to verify

We are trying to use scribble to verify hydra which is a distributed framework for bounded model

11/27/20

Rustem Kamun, Gary Brown13

6/27/14

Consensus protocol using Scribble

Hi Rustem This forum is more for discussing issues with the scribble language. Could you create a

unread,

Consensus protocol using Scribble

Hi Rustem This forum is more for discussing issues with the scribble language. Could you create a

6/27/14

4/12/14

Scribble Java Tooling 0.3.0 Milestone 5 Released

Hi Milestone 5 of version 0.3.0 is now available from the Java tooling section of the scribble.org

unread,

Scribble Java Tooling 0.3.0 Milestone 5 Released

Hi Milestone 5 of version 0.3.0 is now available from the Java tooling section of the scribble.org

4/12/14

Gary Brown, … Gary Brown3

4/3/14

Handling timeouts and the cancel pattern

Hi Santosh I think there may be two ways to address this: 1) If we view the business protocol at a

unread,

Handling timeouts and the cancel pattern

Hi Santosh I think there may be two ways to address this: 1) If we view the business protocol at a

4/3/14

Gary Brown, Nobuko Yoshida4

3/24/14

Scribble Java Tools 0.3.0 Milestone 3 Released

Dear Gary, Thanks we will try and inform you. Best regards, Nobuko Yoshida On Sun, Mar 23, 2014 at 9:

unread,

Scribble Java Tools 0.3.0 Milestone 3 Released

Dear Gary, Thanks we will try and inform you. Best regards, Nobuko Yoshida On Sun, Mar 23, 2014 at 9:

3/24/14

Gary Brown, Tiago Cogumbreiro4

10/27/13

Automated build of scribble documentation

Hi Tiago The protocol language guide was a work in progress, so does not actually contain much

unread,

Automated build of scribble documentation

Hi Tiago The protocol language guide was a work in progress, so does not actually contain much

10/27/13

3/20/13

Scribble Java tools 3.0.0 Milestone 1 released

Hi Just to let you know I've done a milestone 1 release of the Java tools. This currently only

unread,

Scribble Java tools 3.0.0 Milestone 1 released

Hi Just to let you know I've done a milestone 1 release of the Java tools. This currently only

3/20/13

Nicholas Ng, … Gary Brown3

2/25/13

Syntax: role or participant

The original reasons if I remember correctly was role is more concise and is a logical concept

unread,

Syntax: role or participant

The original reasons if I remember correctly was role is more concise and is a logical concept

2/25/13

Gary Brown, Nobuko Yoshida2

1/10/13

Hierarchical State Machines

Dear Gary, Thank you very much for your detailed post. We can discuss on Thursday the three points

unread,

Hierarchical State Machines

Dear Gary, Thank you very much for your detailed post. We can discuss on Thursday the three points

1/10/13

Search

Clear search

Close search

Google apps

Main menu