Pages that link to "Item:Q175862"
From MaRDI portal
The following pages link to The Journal of Logic and Algebraic Programming (Q175862):
Displaying 50 items.
- Special issue: Web services and formal methods (WS--FM 2004). Selected papers based on the presentations at the 1st international workshop, Pisa, Italy, Frebruary 23--24, 2004 (Q854365) (← links)
- Service oriented computing from a process algebraic perspective (Q861292) (← links)
- Structural and behavioural compatibility of graphical service specifications (Q861295) (← links)
- Formal specification of a web services protocol (Q861299) (← links)
- Reasoning about interaction protocols for customizing web service selection and composition (Q861301) (← links)
- A core calculus for correlation in orchestration languages (Q861302) (← links)
- A pi-calculus based semantics for WS-BPEL (Q861305) (← links)
- The SL synchronous language, revisited (Q864504) (← links)
- Duplication of constants in process algebra (Q864505) (← links)
- Preferential choice and coordination conditions (Q864506) (← links)
- Performance of pipelined asynchronous systems (Q864507) (← links)
- A generalization of ACP using Belnap's logic (Q864509) (← links)
- Model checking a cache coherence protocol of a Java DSM implementation (Q864512) (← links)
- Universality and semicomputability for nondeterministic programming languages over abstract algebras (Q864513) (← links)
- Deaccumulation techniques for improving provability (Q882487) (← links)
- An efficient abstract machine for safe ambients (Q882488) (← links)
- Local variable scoping and Kleene algebra with tests (Q929964) (← links)
- Distributive contact lattices: topological representations (Q929965) (← links)
- Algebraic neighbourhood logic (Q929966) (← links)
- Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types (Q929967) (← links)
- Using probabilistic Kleene algebra pKA for protocol verification (Q929968) (← links)
- Relational measures and integration in preference modeling (Q929969) (← links)
- Relational state transition dynamics (Q929970) (← links)
- Products in categories of relations (Q929971) (← links)
- Special issue: Logic and information: From logic to constructive reasoning. Papers based on the presentations at the Swiss-South African (SNSF-NRF) joint seminar, Berne, Switzerland, January 22--25, 2007. (Q939287) (← links)
- A Hofmann-Mislove theorem for bitopological spaces (Q941428) (← links)
- Primitive recursive selection functions for existential assertions over abstract algebras (Q941429) (← links)
- Ordering the order of a distributive lattice by itself (Q941431) (← links)
- A duality involving Borel spaces (Q941432) (← links)
- Cut-free sequent systems for temporal logic (Q941433) (← links)
- Soft linear set theory (Q941435) (← links)
- On the closure of the diagonal of a \(T_1\)-space (Q941438) (← links)
- A double completion for an arbitrary \(T_0\)-quasi-metric space (Q941440) (← links)
- Canonical completeness of infinitary \(\mu \) (Q941442) (← links)
- Special issue: Algebraic process calculi: The first twenty five year and beyond III. (Q947054) (← links)
- Models and formal verification of multiprocessor system-on-chips (Q953526) (← links)
- Comparing disjunctive modal transition systems with an one-selecting variant (Q953529) (← links)
- Backwards type analysis of asynchronous method calls (Q953530) (← links)
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
- Pathway analysis for BioAmbients (Q953532) (← links)
- Program and proof optimizations with type systems (Q953533) (← links)
- Stronger compositions for retrenchments (Q974130) (← links)
- Relating fair testing and accordance for service replaceability (Q974133) (← links)
- A precongruence format for should testing preorder (Q974134) (← links)
- The proof monad (Q974136) (← links)
- Reversing computation in membrane systems (Q974138) (← links)
- A quick introduction to membrane computing (Q987956) (← links)
- Rule-based and object-based event structures for membrane systems (Q987957) (← links)
- Compositional semantics of spiking neural P systems (Q987958) (← links)
- Simulating a P system based efficient solution to SAT by using GPUs (Q987962) (← links)
