Pages that link to "Item:Q246441"
From MaRDI portal
The following pages link to Journal of Logical and Algebraic Methods in Programming (Q246441):
Displayed 50 items.
- Preface for the special issue on interaction and concurrency experience 2014 (Q272297) (← links)
- Declarative event based models of concurrency and refinement in psi-calculi (Q272301) (← links)
- Contracts as games on event structures (Q272306) (← links)
- Relating two automata-based models of orchestration and choreography (Q272310) (← links)
- ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← links)
- Relation lifting, a survey (Q299182) (← links)
- A bi-intuitionistic modal logic: foundations and automation (Q299186) (← links)
- An algebraic approach to computations with progress (Q299188) (← links)
- Relational lattices: from databases to universal algebra (Q299191) (← links)
- Algorithms for Kleene algebra with converse (Q299194) (← links)
- Canonical finite models of Kleene algebra with tests (Q299196) (← links)
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Concurrent Kleene algebra with tests and branching automata (Q299205) (← links)
- Reduction of event structures under history preserving bisimulation (Q338613) (← links)
- Input-output conformance testing for software product lines (Q338614) (← links)
- Trustworthy variant derivation with translation validation for safety critical product lines (Q338617) (← links)
- Abstract categorical semantics for resourceful functional reactive programming (Q338619) (← links)
- ST-structures (Q338620) (← links)
- Effect-polymorphic behaviour inference for deadlock checking (Q338624) (← links)
- Structural congruence for bialgebraic semantics (Q338626) (← links)
- LCTD: test-guided proofs for C programs on LLVM (Q338629) (← links)
- Configuration logics: modeling architecture styles (Q347359) (← links)
- Preface for the special issue on interaction and concurrency experience 2015 (Q347360) (← links)
- Orchestrated session compliance (Q347361) (← links)
- Contextual equivalences in configuration structures and reversibility (Q347363) (← links)
- Belief, knowledge, lies and other utterances in an algebra for space and extrusion (Q347368) (← links)
- Combine and conquer: relating BIP and Reo (Q347371) (← links)
- Verifiable abstractions for contract-oriented systems (Q347375) (← links)
- Amalgamation of domain specific languages with behaviour (Q347380) (← links)
- Dependency pairs for proving termination properties of conditional term rewriting systems (Q347382) (← links)
- Rewriting modulo SMT and open system analysis (Q347384) (← links)
- Robustness of interval-valued fuzzy inference triple I algorithms based on normalized Minkowski distance (Q347386) (← links)
- An analysis of the equational properties of the well-founded fixed point (Q347388) (← links)
- Formalizing semantic bidirectionalization and extensions with dependent types (Q347391) (← links)
- Dynamic rebinding for concurrent object groups: theory and practice (Q347396) (← links)
- Logic programming approach to automata-based decision procedures (Q347398) (← links)
- An extended framework for passive asynchronous testing (Q347402) (← links)
- Programming and automating mathematics in the Tarski-Kleene hierarchy (Q406433) (← links)
- Computing minimal extending sets by relation-algebraic modeling and development (Q406434) (← links)
- Spatial voting games, relation algebra and RelView (Q406437) (← links)
- Exploring modal worlds (Q406442) (← links)
- Relational style laws and constructs of linear algebra (Q406445) (← links)
- Discrete dualities for some algebras with relations (Q406447) (← links)
- Inference engine based on closure and join operators over truth table binary relations (Q406448) (← links)
- Multirelations with infinite computations (Q406449) (← links)
- Hopscotch -- reaching the target hop by hop (Q406451) (← links)
- Towards ``mouldable code'' via nested code graph transformation (Q406453) (← links)
- Arrow's theorem for incomplete relations (Q406455) (← links)
- A relation-algebraic approach to the ``Hoare logic'' of functional dependencies (Q406457) (← links)
- Relations into algebras of probabilistic distributions (Q406461) (← links)