The following pages link to MetaKlaim (Q14458):
Displaying 4 items.
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- Experiences with an object-oriented, multi-stage language (Q2507779) (← links)
- Security Policies as Membranes in Systems for Global Computing (Q5310645) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902544) (← links)