New pages

From MCRL2

New pages

Namespace:	all (Main) Talk User User talk MCRL2 MCRL2 talk Image Image talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk LaTeX Private
Username:
	Hide bots

(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)

• 16:02, 15 December 2011 ‎Control Software of the CMS Experiment at CERN's Large Hadron Collider (hist) ‎[5,008 bytes] ‎Timw (Talk | contribs) (New page: The Large Hadron Collider (LHC) experiment at the European Organization for Nuclear Research (CERN) has been built in a tunnel 27 kilometres in circumference and is designed to yield head-...)
• 19:38, 12 December 2011 ‎Dogfooding the structural operational semantics of mCRL2 (hist) ‎[2,705 bytes] ‎Fstappers (Talk | contribs) (New page: right The mCRL2 language is a formal specification language that is used to specify and model the behavior of distributed systems and protocols. With the accompan...)

(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)