k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

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

From: Everett Hildenbrandt <hildenb2 AT illinois.edu>
To: Ahmed Amar Debza <amr.deb AT gmail.com>
Cc: <k-user AT lists.cs.illinois.edu>
Subject: Re: [[K-user] ] Formal Semantics for Systems Integration
Date: Tue, 22 Aug 2017 10:11:09 -0500
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=hildenb2 AT illinois.edu

Can you be more specific about waht you're looking for?

Perhaps an example of a system like this?

Everett H.

On Mon, Aug 21, 2017 at 10:21:07PM +0100, Ahmed Amar Debza wrote:
> 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