Full Description

Defines the syntax and semantics of the enhanced LOTOS language, named E-LOTOS. E-LOTOS is used for the formal descritpion of the behavioural aspects of distributed and concurrent systems in general and in the area of open distributed processing in particular.RECONFIRMATION NOTICETechnical Committee IT-015 has reviewed the content of this publication and in accordancewith Standards Australia procedures for reconfirmation, it has been determined that thepublication is still valid and does not require change.Certain documents referenced in the publication may have been amended since the originaldate of publication. Users are advised to ensure that they are using the latest versions ofsuch documents as appropriate, unless advised otherwise in this Reconfirmation Notice.Approved for reconfirmation in accordance with Standards Australia procedures forreconfirmation on 17 March 2014.The following are represented on Technical Committee IT-015:Australian Computer SocietyAustralian Society for Technical Communication (NSW)Charles Sturt UniversityDepartment of Defence (Australia)Griffith UniversityLa Trobe UniversityNational Association of Testing Authorities AustraliaNational ICT AustraliaNSW Business ChamberQuantitative Enterprise Software PerformanceSystems Engineering Society of AustraliaUniversity of Technology, Sydney

Product Details

File Size: 1 file , 980 KB