The following pages link to Mirko Viroli (Q608356):
Displaying 30 items.
- simpA: an agent-oriented approach for programming concurrent applications on top of Java (Q608358) (← links)
- Process-algebraic approaches for multi-agent systems: an overview (Q814895) (← links)
- An algebraic approach for modelling organisation, roles and contexts in MAS (Q814900) (← links)
- A core calculus for correlation in orchestration languages (Q861302) (← links)
- On the reification of Java wildcards (Q955709) (← links)
- From distributed coordination to field calculus and aggregate computing (Q2011213) (← links)
- Engineering a BPEL orchestration engine as a multi-agent system (Q2373644) (← links)
- On the collective sort problem for distributed tuple spaces (Q2389341) (← links)
- Agent coordination contexts for the formal specification and enactment of coordination and security policies (Q2432762) (← links)
- (Q2847797) (← links)
- (Q2848698) (← links)
- Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus (Q2866321) (← links)
- (Q3046755) (← links)
- (Q3413370) (← links)
- Type-based Self-stabilisation for Computational Fields (Q3460426) (← links)
- Lightweight family polymorphism (Q3503189) (← links)
- Environment in agent-oriented software engineering methodologies (Q3629930) (← links)
- Environment Programming in CArtAgO (Q3654757) (← links)
- (Q4414241) (← links)
- A Type-Passing Approach for the Implementation of Parametric Methods in Java (Q4415902) (← links)
- A Higher-Order Calculus of Computational Fields (Q4617982) (← links)
- Standard Type Soundness for Agents and Artifacts (Q4621163) (← links)
- (Q4738209) (← links)
- (Q5028433) (← links)
- (Q5129944) (← links)
- A Framework for Modelling and Simulating Networks of Cells (Q5404091) (← links)
- (Q5422249) (← links)
- Programming Languages and Systems (Q5493382) (← links)
- Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala (Q5883752) (← links)
- Space-Fluid Adaptive Sampling by Self-Organisation (Q6178712) (← links)