252 results on '"Caires AS"'
Search Results
2. The Session Abstract Machine
3. Design Thinking Methodology and Text-To-Image Artificial Intelligence: A Case Study in the Context of Furniture Design Education
4. Conclusion: The Blame Game of Corruption
5. Collaborative Governance in Uruguay: Lessons from the Frente Amplio Administration
6. From Global Governance to Policy Design
7. Vertical Governance in Chile: The Experience of the Bachelet and Piñera Governments
8. A Paradigm Shift in Global Governance
9. Analytical Framework
10. Introduction: Where Transparency Meets Corruption Control
11. Empirical Studies on the Conditions of Achieving Interactive Mindfulness Through Virtual Reality Single User Experience in Macao
12. i-Cube, an (In)tangible Interface for Multi-user Generative Art Creation
13. Increased Abdominal Perimeter Differently Affects Respiratory Function in Men and Women
14. Safe Session-Based Concurrency with Shared Linear State
15. Interactions of Nanomaterials with Plant Pigments
16. The Scientific Explorations for Deep-Sea Fishes in Brazil: The Known Knowns, the Known Unknowns, and the Unknown Unknowns
17. Understanding the Interaction of Nanopesticides with Plants
18. Family Nurse Practitioner Certification Exam Premium: 4 Practice Tests + Comprehensive Review + Online Practice
19. Discussing Subjectivity in Undergraduate and Graduate Education
20. Fake News and Social Networks: How Users Interact with Fake Content
21. Programming Teaching Tools Feature Assessment Associated with Brazilian Curriculum Base Obtained Through BPL Platforms Analysis
22. Fluorescence Spectroscopy as an Alternative Analytical Tool for Monitoring Biodiesel Oxidative Stability: Thermal Oxidation Effect on the Endogenous Chromophores and Fluorophores in Biodiesel
23. Linearity, Control Effects, and Behavioral Types
24. Multiparty Session Types Within a Canonical Binary Theory, and Beyond
25. Corecursion and Non-divergence in Session-Typed Processes
26. Rely-Guarantee Protocols
27. Information Flow Analysis for Valued-Indexed Data Security Compartments
28. A Type System for Flexible Role Assignment in Multiparty Communicating Systems
29. Higher-Order Processes, Functions, and Sessions: A Monadic Integration
30. Behavioral Polymorphism and Parametricity in Session-Based Communication
31. Linear Logical Relations for Session-Based Concurrency
32. SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications
33. Functions as Session-Typed Processes
34. Analysis of Service Oriented Software Systems with the Conversation Calculus
35. Proof-Carrying Code in a Session-Typed Process Calculus
36. Tools and Verification
37. Core Calculi for Service-Oriented Computing
38. Type-Based Access Control in Data-Centric Systems
39. A Type System for Access Control Views in Object-Oriented Languages
40. Session Types as Intuitionistic Linear Propositions
41. A Process Calculus Analysis of Compensations
42. Conversation Types
43. The Conversation Calculus: A Model of Service-Oriented Computation
44. Logical Semantics of Types for Concurrency
45. Spatial-Behavioral Types, Distributed Services, and Resources
46. SCC: A Service Centered Calculus
47. Types for Dynamic Reconfiguration
48. Subtyping First-Class Polymorphic Components
49. Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency
50. Behavioral and Spatial Observations in a Logic for the π-Calculus
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.