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.
- P systems with control nuclei: the concept (Q987966) (← links)
- P systems and the Byzantine agreement (Q987968) (← links)
- Test generation from P systems using model checking (Q987969) (← links)
- Metabolic approximation of real periodical functions (Q987971) (← links)
- A P-Lingua based simulator for tissue P systems (Q987972) (← links)
- An extensible, maintainable and elegant approach to hardware source code generation in Reconfig-P (Q987973) (← links)
- An overview of the K semantic framework (Q987974) (← links)
- Special issue: Membrane computing and programming (WMC 2009). Selected papers based on the presentations at the 10th workshop, Curtea de Argeş, Romania, August 24--27, 2009. (Q988549) (← links)
- Special issue: Foundations of software science and computation structure 2006 (FOSSACS 2006). Selected papers based on the presentations at the 9th international conference, Vienna, Austria, March 29--31, 2006. (Q997836) (← links)
- Typing noninterference for reactive programs (Q997991) (← links)
- Characterizing minimal semantics-preserving slices of function-linear, free, liberal program schemas (Q997992) (← links)
- Tempus fugit: How to plug it (Q997994) (← links)
- A non-standard semantics for program slicing and dependence analysis (Q997995) (← links)
- Linearity and bisimulation (Q997996) (← links)
- A domain-specific language for cryptographic protocols based on streams (Q1001891) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- Testing from a stochastic timed system with a fault model (Q1001893) (← links)
- Processes with local and global liveness requirements (Q1007234) (← links)
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)
- Revivals, stuckness and the hierarchy of CSP models (Q1007236) (← links)
- Special issue: Selected papers based on the presentations at the IFIP WG1.8 workshop on applying concurrency research in industry, Lisbon, Portugal, September 7, 2007 (Q1013958) (← links)
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam (Q1014561) (← links)
- A metamodel for the design of polychronous systems (Q1014564) (← links)
- Improving performance in flexible manufacturing systems (Q1014568) (← links)
- Search algorithms for automated validation (Q1014571) (← links)
- Dynamic management of capabilities in a network aware coordination language (Q1035673) (← links)
- Cryptographically-enforced hierarchical access control with multiple keys (Q1035675) (← links)
- Dual systems of tableaux and sequents for PLTL (Q1035676) (← links)
- Completion of Boolean algebras in MSet (Q1035677) (← links)
- A barred operational semantics for a subset of WS-CDL with time restrictions (Q1035678) (← links)
- Continuity and Lipschitz constants for projections (Q1044668) (← links)
- Similarity, topology, and uniformity (Q1044669) (← links)
- Computing combinatorial types of trajectories in Pfaffian dynamics (Q1044670) (← links)
- On computable presentations of some functional lattices (Q1044671) (← links)
- Implicit characterizations of FPTIME and NC revisited (Q1044672) (← links)
- \(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis (Q1044673) (← links)
- Problems, solutions, and completions (Q1044674) (← links)
- On the Wadge reducibility of \(k\)-partitions (Q1044675) (← links)
- Formalizing non-termination of recursive programs (Q1349246) (← links)
- Algebraic proofs of cut elimination (Q1349247) (← links)
- Focus points and convergent process operators: A proof strategy for protocol verification (Q1349249) (← links)
- A rewriting approach to binary decision diagrams (Q1349250) (← links)
- Typed generic traversal with term rewriting strategies (Q1394988) (← links)
- Revisiting the notion of function (Q1394989) (← links)
- Revisiting timing in process algebra. (Q1394990) (← links)
- An alternative formulation of operational conservativity with binding terms. (Q1400151) (← links)
- Analysis of a distributed system for lifting trucks. (Q1400154) (← links)
- Algebraic theory of probabilistic and nondeterministic processes. (Q1400156) (← links)
- Verification of the Miller-Rabin probabilistic primality test. (Q1400288) (← links)
- On the use of MTBDDs for performability analysis and verification of stochastic systems. (Q1400289) (← links)
