[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
Re: join-calculus...
- To: Lucy Mari Tabuti <lucymari@ime.usp.br>
- Subject: Re: join-calculus...
- From: Alan Schmitt <alan.schmitt@inria.fr>
- Date: Mon, 31 Jul 2000 14:03:00 +0200
- +10: 14:31AM -0300
- Cc: jocaml@inria.fr, jocaml-dev@inria.fr
- Content-Disposition: inline
- In-Reply-To: <Pine.GSO.4.21.0007311008140.24070-100000@osasco>; from lucymari@ime.usp.br on Mon, Jul 31, 2000 at
- Organization: INRIA Rocquencourt
- References: <Pine.GSO.4.21.0007311008140.24070-100000@osasco>
- User-Agent: Mutt/1.2i
Hi,
There should be no problem to compile JCL with Linux. You might also
want to check out JoCaml, which is another implementation of the Join
Calculus which is tightly integrated with Ocaml. The web page is at:
http://pauillac.inria.fr/jocaml/
There is also a (low traffic) mailing list that can be reached at
jocaml@inria.fr. There is information on how to subscribe on the web
page.
The JoCaml syntax is slightly different, but converting programs from
JCL to JoCaml is very easy. There has been no reported problem in
compiling JoCaml under Linux.
Best regards
Alan Schmitt
>Dear Sirs,
>
>
>I'm studying join-calculus for my mastership dissertation. I know and use
>the join-calculus language for unix. I would like to know if it has a
>version that can run in linux.
>
>
>Regards,
>
>Lucy
--
The hacker: someone who figured things out and made something cool happen.