Changes in tcs4.cspcasl http://src.iws.cs.ovgu.de/source/rss/hets/CspCASL/test/tcs4.cspcasl en Copyright 2005 Java CspCASL - bugfix in static analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9689 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CspCASL/test/tcs4.cspcasl - adce8375991a372444ab995895442dca6faf9677 Andy Gimblett <a.m.gimblett@swansea.ac.uk> CspCASL - more pretty print tweaking, and added another example git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9405 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CspCASL/test/tcs4.cspcasl - 197888c54795ec1e79e77289b7e20436a6db74c0 Andy Gimblett <a.m.gimblett@swansea.ac.uk> CspCASL - added process declarations and channel declarations git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9028 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CspCASL/test/tcs4.cspcasl - f909337bf7012aca169c0b56b89efbd4a310f8da Andy Gimblett <a.m.gimblett@swansea.ac.uk> allowed also a basic specs following data git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8878 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CspCASL/test/tcs4.cspcasl - 7ae67d07c8b605503c300a7da2d11974a2702904 Christian Maeder <Christian.Maeder@dfki.de> only use PROCESS_PART as CspCASL basic spec git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8874 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CspCASL/test/tcs4.cspcasl - 167414650dc57c11c13ba85253f0211b3de0ecc5 Christian Maeder <Christian.Maeder@dfki.de> CspCASL - starting to expand process part beyond single process definition git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8872 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CspCASL/test/tcs4.cspcasl - 567db7182e691cce5816365d8c912d09ffe92f86 Andy Gimblett <a.m.gimblett@swansea.ac.uk> CspCASL - added some more test cases (from Markus' TCS paper) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7557 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CspCASL/test/tcs4.cspcasl - 4eaeba586d49aa0761ee2bb6d20efba91562cef6 Andy Gimblett <a.m.gimblett@swansea.ac.uk>