Pages that link to "Item:Q175862"
From MaRDI portal
The following pages link to The Journal of Logic and Algebraic Programming (Q175862):
Displayed 50 items.
- Free inductive \(K\)-semialgebras (Q383784) (← links)
- Computing and visualizing Banks sets of dominance relations using relation algebra and RelView (Q383785) (← links)
- Processes with infinite liveness requirements (Q383788) (← links)
- Special issue: The 22nd Nordic workshop on programming theory (NWPT 2010). Papers based on the presentations at the workshop, Turku, Finland, November 10--12, 2010 (Q408580) (← links)
- Special issue: The 21st Nordic workshop on programming theory (NWPT 2009). Selected papers based on the presentations at the workshop, Lyngby, Denmark, October 14-16, 2009 (Q418111) (← links)
- Semantics of structured normal logic programs (Q444364) (← links)
- On the analysis of compensation correctness (Q444367) (← links)
- A versatile concept for the analysis of loops (Q444373) (← links)
- Computing strong and weak bisimulations for psi-calculi (Q444457) (← links)
- Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (Q444460) (← links)
- Consistency and refinement for interval Markov chains (Q444461) (← links)
- Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466) (← links)
- Safe locking for multi-threaded Java with exceptions (Q444468) (← links)
- Formal modeling and validation of a power-efficient grouping protocol for WSNs (Q444471) (← links)
- Reachability analysis for timed automata using max-plus algebra (Q444476) (← links)
- Reverse universal resolving algorithm and inverse driving (Q444478) (← links)
- Deadlock checking by a behavioral effect system for lock handling (Q444480) (← links)
- Three-valued abstraction for probabilistic systems (Q444484) (← links)
- Automated debugging based on a constraint model of the program and a test case (Q444487) (← links)
- Modal transition systems with weight intervals (Q444490) (← links)
- A formal approach to the specification and transformation of constraints in MDE (Q444494) (← links)
- A dynamic deontic logic for complex contracts (Q444496) (← links)
- A relational realizability model for higher-order stateful ADTs (Q444500) (← links)
- Static analysis of IMC (Q444504) (← links)
- Termination detection for active objects (Q444506) (← links)
- Special issue: Selected papers based on the presentations at the 12th international conference on relational and algebraic methods in computer science, RAMiCS 2011, Rotterdam, The Netherlands, May 30 -- June 3, 2011 (Q444691) (← links)
- Special issue: Formal languages and analysis of contract-oriented software (FLACOS 09). Selected papers based on the presentations at the 3rd workshop, Toledo, Spain, September 24--25, 2009. (Q536528) (← links)
- Passage retrieval in legal texts (Q541290) (← links)
- Contracts for security adaptation (Q541291) (← links)
- A contract-based approach to adaptivity (Q541295) (← links)
- Building distributed controllers for systems with priorities (Q541297) (← links)
- Special issue: Relations and Kleene algebras in computer science. Selected revised papers based on the presentations at the 11th international conference on relational methods in computer science, RelMiCS 2009 and the 6th international conference on appli (Q547075) (← links)
- Algebraic separation logic (Q549676) (← links)
- Fixpoints for general correctness (Q549677) (← links)
- Concurrent Kleene algebra and its foundations (Q549679) (← links)
- Collagories: relation-algebraic reasoning for gluing constructions (Q549680) (← links)
- Contact, closure, topology, and the linking of row and column types of relations (Q549681) (← links)
- Normal forms in total correctness for while programs and action systems (Q549683) (← links)
- Special issue: Relations and Kleene algebras in computer science. Selected revised papers based on the presentations at the 11th international conference on relational methods in computer science, RelMiCS 2009 and the 6th international conference on appli (Q593251) (← links)
- Boolean logics with relations (Q604451) (← links)
- Relation-algebraic specification and solution of special university timetabling problems (Q604453) (← links)
- Abstract representation theorems for demonic refinement algebras (Q604454) (← links)
- Imperative abstractions for functional actions (Q604455) (← links)
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings (Q604456) (← links)
- Determinisation of relational substitutions in ordered categories with domain (Q604457) (← links)
- Cardinality functions in allegories (Q604458) (← links)
- Special issue: Selected papers based on the presentations at the 2nd workshop on formal languages and analysis of contract-oriented software (FLACOS 08), Malta, November 27--28, 2008 (Q610498) (← links)
- On the potential advantages of exploiting behavioural information for contract-based service discovery and composition (Q615893) (← links)
- QoS negotiation in service composition (Q615894) (← links)
- Validation and verification of web services choreographies by using timed automata (Q615897) (← links)