Erlang to mCRL translator - Software written in Erlang for translating Erlang source code to mCRL process algebra specification.


Home		Set as Homepage		Add to Favorite		Contact

08 November, 2009

search for

egories

New Addition

Goat & Sheep Leather Manufacturers

Stainless Steels Bars Supplier India

Heavy Duty Relay Manufacturer

Industrial Gearboxes Exporter

Recruitment Agency supply skilled polish workers

Generic Drug Manufacturers India

Industrial Valve Supplier India

Wholesale Industrial Chemical Suppliers

Dhoop Incense Manufacturing Company

Loft conversion London

Spring Compression Manufacturer

Chemicals Supplier From India

Digital Linx Hosting

Madison Construction

Hearts of Gold Senior Home Care

Team Green Outdoor

Get This List Of Used Cars In Portland

Hudson Poly Bag, Inc.

Hydraulic Jack Wholesaler

IT Outsourcing Company

Category: Main » Computers » Programming » Languages » Erlang	UPDATE URL \| REPORT BROKEN LINK
Erlang to mCRL translator	Popularity: Hit: 12

Details:

	Software written in Erlang for translating Erlang source code to mCRL process algebra specification. The software makes industrial code available for research tools. Sponsored Links:
URL:	http://sourceforge.net/projects/etomcrl/
Title:	SourceForge.net: etomcrl: An Erlang to mCRL compiler
Description:	SourceForge.net: etomcrl: An Erlang to mCRL compiler. Get etomcrl: An Erlang to mCRL compiler at SourceForge.
Specialized in:	Open Source - Development - Community - Source Code - Downloads - Software

Open Source Erlang (Popularity:

): By Ericsson Computer Science Laboratory, soft realtime, declarative, functional language for concurrent, distributed systems. Compiles to BSD, Linux, Solaris, VxWorks, ...
Ericsson Erlang/OTP (Popularity:

): Commercial support for Erlang/OTP (Open Telecom Platform) under Solaris, NT, and VxWorks.
erlang-fr.org (Popularity:

): English page of French Erlang site, a few interesting articles.
Erlang Training and Consulting Ltd. (Popularity:

): Offers Erlang/OTP training courses at all levels, seminars, consulting services and code reviews. Based in London, its consultants and trainers ...
The Great Computer Language Shootout - Erlang (Popularity:

): A benchmark Erlang test programs.
Hello World (Popularity:

): Erlang version of Hello World.
99 Bottles of Beer on the Wall (Popularity:

): The example in Erlang and other Programming languages you didn't even know existed.
OO example (Popularity:

): Erlang Code showing examples of Shapes using OO.
Datalog (Popularity:

): Scanner for Datalog.
Examples (Popularity:

): At Erlang.org.

Popular Sites

The Great Computer Language Shootout - Erlang (Popularity:

): A benchmark Erlang test programs.
Hello World (Popularity:

): Erlang version of Hello World.
Client - Server (Popularity:

): This tutorial shows you how to build a simple client-server. Client in Erlang - Server in C.
erlang-fr.org (Popularity:

): English page of French Erlang site, a few interesting articles.
Erlang Training and Consulting Ltd. (Popularity:

): Offers Erlang/OTP training courses at all levels, seminars, consulting services and code reviews. Based in London, its consultants and trainers ...

Related Press

Democratic National Committee Chairman Tim Kaine Issues Statement Praising the House of Representative's Historic Vote to Pass Health Insurance Reform (Popularity:

): Tonight the House of Representatives passed the Affordable Health Care for America Act, landmark health reform legislation that will ensure ...
Essay Help (Popularity:

): This article is regarding the re-launch of HomeworkHelp, which is, a Global community of Students and Subject Experts where Students ...
Spherion U.S. Employment Report: Worker Confidence Dips (Popularity:

): The Spherion Employee Confidence Index decreased by one point to 48.4 in October. The Index, which measures workers' confidence in ...
China, Technology and Private Equity to Drive IPO Activity in 2010 (Popularity:

): The Ernst & Young Institutional Investor IPO survey 2009, highlights the likely markets and sectors that will lead listing activity ...
LTE UE Stack from L&T Infotech Accelerates Availability of LTE Terminal Devices (Popularity:

): L&T Infotech announced today the availability of its 3GPP release LTE UE (User Equipment) protocol stack (Ver 8), helping to ...

Related Articles

Lowest Credit Score For Getting Your Debt Settled? (Popularity:

): Those looking for a means of getting their debt settled are probably concerned with their current credit score. When someone ...
Article Writing - 3 New Ways to Energize Your Article Writing (Popularity:

): Whether you're an internet marketer or a freelance writer, it's a must that you constantly energize or improve the quality ...
Short Sales to Stop Foreclosure and Income Taxes (Popularity:

): Homeowners who sell their homes through a short sale are often very concerned about the tax implications of the sale. ...
The Endless Health Benefits of Ionized Water (Popularity:

): Ionized water is much different from filtered water because the water you receive from an ionized water machine has actually ...
The Grow Taller Secret - Here is It (Popularity:

): So, you want to know how to grow taller? Years ago scientists thought that after you pass 20y of age, ...