The following pages link to José Luiz Fiadeiro (Q407505):
Displaying 36 items.
- An interface theory for service-oriented design (Q407507) (← links)
- A formal model for service-oriented interactions (Q436383) (← links)
- (Q505452) (redirect page) (← links)
- Heterogeneous and asynchronous networks of timed systems (Q505453) (← links)
- A graph transformation approach to software architecture reconfiguration (Q701031) (← links)
- (Q1079023) (redirect page) (← links)
- The INFOLOG linear tense propositional logic of events and transactions (Q1079024) (← links)
- Specification and verification of database dynamics (Q1092680) (← links)
- (Q1192602) (redirect page) (← links)
- Temporal theories as modularisation units for concurrent system specification (Q1192604) (← links)
- Models for the substitution axiom of UNITY logic (Q1313738) (← links)
- Categorical semantics of parallel program design (Q1356941) (← links)
- Logics for actor networks: a case study in constrained hybridization (Q1742623) (← links)
- On local modularity and interpolation in entailment systems. (Q1853014) (← links)
- Agility through coordination (Q1856616) (← links)
- Superposition: Composition vs refinement of non-deterministic, action-based systems (Q1882783) (← links)
- Logics for actor networks: a two-stage constrained-hybridisation approach (Q2423775) (← links)
- Adding mobility to software architectures (Q2495552) (← links)
- (Q2722043) (← links)
- (Q2758918) (← links)
- (Q2773798) (← links)
- A Full Operational Semantics for Asynchronous Relational Networks (Q2787346) (← links)
- (Q2844830) (← links)
- A Logic-Programming Semantics of Services (Q2848957) (← links)
- A Graph-Based Design Framework for Services (Q2918970) (← links)
- Heterogeneous Timed Machines (Q2938156) (← links)
- Service-Oriented Logic Programming (Q2941767) (← links)
- Revisiting the Categorical Approach to Systems* (Q2996124) (← links)
- A Verification Logic for Rewriting Logic (Q3025340) (← links)
- (Q3133180) (← links)
- Categories for Software Engineering (Q3160259) (← links)
- Logics of Modal Terms for Systems Specification (Q3210907) (← links)
- Temporal Reasoning over Deontic Specifications (Q3356299) (← links)
- Separating computation, coordination and configuration (Q4805233) (← links)
- Generic Programming (Q5187880) (← links)
- Revisiting the Institutional Approach to Herbrand’s Theorem (Q5275358) (← links)
