Erlang to mCRL translator
Edit Page
Report
Scan day: 03 March 2014 UTC
0
Virus safety - good
Description: Software written in Erlang for translating Erlang source code to mCRL process algebra specification. The software makes industrial code available for research tools.
etomcrl: An Erlang to mCRL compiler | Free Development software downloads at SourceForge.net etomcrl: An Erlang to mCRL compiler etomcrl: An Erlang to mCRL compiler Software written in Erlang for translating Erlang source code to mCRL process algebra specification. The software makes industrial code available for research tools.
Size: 330 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | etomcrl: An Erlang to mCRL compiler | Free Development software downloads at SourceForge.net |
| Keywords: | Compilers, Open Source, Open Source Software, Development, Community, Source Code, Secure, Downloads, Free Software |
| Description: | Software written in Erlang for translating Erlang source code to mCRL process algebra specification. The software makes industrial code available for … |
| IP-address: | 216.34.181.60 |
WHOIS Info
| NS | Name Server: NS1.P03.DYNECT.NET Name Server: NS2.P03.DYNECT.NET Name Server: NS3.P03.DYNECT.NET Name Server: NS4.P03.DYNECT.NET |
| WHOIS | Status: clientTransferProhibited Status: clientUpdateProhibited |
| Date | Creation Date: 08-aug-1999 Expiration Date: 08-aug-2015 |