Language for Communicating Systems (LCS) A by Bernard Berthomieu with and processes, based upon . LCS is implemented as a and runs on , , and . Latest version: 5.1, as of 2000-03-17. {Home (http://www.laas.fr/~bernard/lcs.html)}. E-mail: Bernard Berthomieu . Mailing list: lcs@laas.fr (2000-03-28)
на заглавную 
к началу страницы