k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Formal Semantics for Systems Integration

From: Ahmed Amar Debza <amr.deb AT gmail.com>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] Formal Semantics for Systems Integration
Date: Mon, 21 Aug 2017 22:21:07 +0100
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=amr.deb AT gmail.com

Hello i'm new to K/Maude and I intend to use it as a formalization tool for Integration between different technologies, Are there any projects (k or related) that capture the Integration between heterogeneous systems?

thank you.

[[K-user] ] Formal Semantics for Systems Integration, Ahmed Amar Debza, 08/21/2017
- Re: [[K-user] ] Formal Semantics for Systems Integration, Everett Hildenbrandt, 08/22/2017
  - Re: [[K-user] ] Formal Semantics for Systems Integration, Ahmed Amar Debza, 08/22/2017
    - Re: [[K-user] ] Formal Semantics for Systems Integration, Patrick Meredith, 08/22/2017
      - Re: [[K-user] ] Formal Semantics for Systems Integration, Everett Hildenbrandt, 08/22/2017
        
        Re: [[K-user] ] Formal Semantics for Systems Integration, Patrick Meredith, 08/22/2017
        
        Re: [[K-user] ] Formal Semantics for Systems Integration, Dorel Lucanu, 08/23/2017
        
        Re: [[K-user] ] Formal Semantics for Systems Integration, Everett Hildenbrandt, 08/23/2017