[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
[moca] Visualization tool for mobile calculus
To
: <
moca@xxxxxxxxxxxxxxx
>
Subject
: [moca] Visualization tool for mobile calculus
From
: "raheel" <
raheel@xxxxxxxxxxxxxxx
>
Date
: Mon, 17 Feb 2003 14:55:54 -0600
List-help
: <
mailto:sympa@lists-sop.inria.fr?subject=help
>
List-id
: <moca@lists-sop.inria.fr>
List-owner
: <
mailto:moca-request@lists-sop.inria.fr
>
List-post
: <
mailto:moca@lists-sop.inria.fr
>
List-subscribe
: <
mailto:sympa@lists-sop.inria.fr?subject=subscribe%20moca
>
List-unsubscribe
: <
mailto:sympa@lists-sop.inria.fr?subject=unsubscribe%20moca
>
Is there currently any work on any kind of visual compiler for any mobile calculus going on that would provide views of the process interactions?
Thanks!
Follow-Ups
:
[moca] Re: Visualization tool for mobile calculus
From:
Pascal Zimmer
Prev by Date:
[moca] paper on proof techniques for MA -- update
Next by Date:
[moca] Re: Visualization tool for mobile calculus
Previous by thread:
[moca] paper on proof techniques for MA -- update
Next by thread:
[moca] Re: Visualization tool for mobile calculus
Index(es):
Date
Thread