Pages that link to "Item:Q2996122"

The following pages link to Algebraic Methodology and Software Technology (Q2996122):

Displaying 50 items.

• Sharing Objects by Read-Only References (Q2996123) (← links)
• Revisiting the Categorical Approach to Systems* (Q2996124) (← links)
• A Foundation of Escape Analysis* (Q2996125) (← links)
• Proof Transformations for Evolutionary Formal Software Development (Q2996126) (← links)
• Vacuity Checking in the Modal Mu-Calculus* (Q2996128) (← links)
• Guarded Transitions in Evolving Specifications (Q2996129) (← links)
• Class-Based versus Object-Based: A Denotational Comparison (Q2996130) (← links)
• Pragmatics of Modular SOS (Q2996131) (← links)
• A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching (Q2996132) (← links)
• On Solving Temporal Logic Queries (Q2996133) (← links)
• Higher-Order Quantification and Proof Search* (Q2996134) (← links)
• Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations* (Q2996135) (← links)
• Analyzing String Buffers in C (Q2996136) (← links)
• A Class of Decidable Parametric Hybrid Systems (Q2996138) (← links)
• Equational Axioms for Probabilistic Bisimilarity (Q2996139) (← links)
• A Framework for Order-Sorted Algebra (Q2996140) (← links)
• HasCasl: Towards Integrated Specification and Development of Functional Programs (Q2996141) (← links)
• On Bisimulations for the Spi Calculus* (Q2996142) (← links)
• An Algebra of Non-safe Petri Boxes (Q2996143) (← links)
• Automata and Games for Synthesis (Q2996144) (← links)
• Refusal Simulation and Interactive Games (Q2996145) (← links)
• Removing Redundant Arguments of Functions* (Q2996146) (← links)
• Algebraic Dynamic Programming (Q2996147) (← links)
• Bisimulation by Unification* (Q2996148) (← links)
• Transforming Processes to Check and Ensure Information Flow Security* (Q2996149) (← links)
• Structural Analysis for Stochastic Process Algebra Models (Q3067461) (← links)
• Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra (Q3067464) (← links)
• On the Expressiveness of the π-Calculus and the Mobile Ambients (Q3067465) (← links)
• Integrating Maude into Hets (Q3067467) (← links)
• Model Refinement Using Bisimulation Quotients (Q3067468) (← links)
• Type Fusion (Q3067469) (← links)
• Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming (Q3067470) (← links)
• Learning in a Changing World, an Algebraic Modal Logical Approach (Q3067471) (← links)
• Matching Logic: An Alternative to Hoare/Floyd Logic (Q3067473) (← links)
• Program Calculation in Coq (Q3067474) (← links)
• Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming (Q3067475) (← links)
• Proving Termination Properties with mu-term (Q3067476) (← links)
• BAL Tool in Flexible Manufacturing Systems (Q3067478) (← links)
• A Complete Declarative Debugger for Maude (Q3067479) (← links)
• An Assume Guarantee Approach for Checking Quantified Array Assertions (Q3067480) (← links)
• State Space Representation for Verification of Open Systems (Q3623920) (← links)
• Data Movement Optimisation in Point-Free Form (Q3623922) (← links)
• Measuring the Speed of Information Leakage in Mobile Processes (Q3623923) (← links)
• Formal Islands (Q3623924) (← links)
• Some Programming Languages for Logspace and Ptime (Q3623925) (← links)
• Opaque Predicates Detection by Abstract Interpretation (Q3623927) (← links)
• DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications (Q3623928) (← links)
• Model Transformations Incorporating Multiple Views (Q3623929) (← links)
• Hyperfinite Approximations to Labeled Markov Transition Systems (Q3623930) (← links)
• State Space Reduction of Rewrite Theories Using Invisible Transitions (Q3623931) (← links)