Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

A simplified parallel ASM thesis

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
اقرأ أكثر حفظ في قائمتي
  • معلومة اضافية
    • بيانات النشر:
      Conference Organising Committee
    • الموضوع:
      2016
    • Collection:
      Australian National University: ANU Digital Collections
    • الموضوع:
      Pisa Italy
    • نبذة مختصرة :
      We present an idea how to simplify Gurevich's parallel ASM thesis. The key idea is to modify only the bounded exploration postulate from the sequential ASM thesis by allowing also non-ground comprehension terms. The idea arises from comparison with work on ASM foundations of database transformations.
    • ISBN:
      978-3-642-30884-0
      3-642-30884-8
    • Relation:
      International Conference on Abstract State Machines, Alloy, B, VDM, and Z 2012; http://hdl.handle.net/1885/68732
    • الرقم المعرف:
      10.1007/978-3-642-30885-7_27
    • الدخول الالكتروني :
      http://hdl.handle.net/1885/68732
      https://doi.org/10.1007/978-3-642-30885-7_27
    • الرقم المعرف:
      edsbas.C5DD459E