Results 11 to 20 of about 86,251 (282)
An Operational Petri Net Semantics for the Join-Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We present a concurrent operational Petri net semantics for the join-calculus, a process calculus for specifying concurrent and distributed systems. There often is a gap between system specifications and the actual implementations caused by synchrony ...
Stephan Mennicke
doaj +4 more sources
No solvable lambda-value term left behind [PDF]
Logical Methods in Computer Science, 2016 In the lambda calculus a term is solvable iff it is operationally relevant. Solvable terms are a superset of the terms that convert to a final result called normal form.
Á. García-Pérez, P. Nogueira
doaj +3 more sources
The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types [PDF]
Logical Methods in Computer Science, 2017 We present the guarded lambda-calculus, an extension of the simply typed lambda-calculus with guarded recursive and coinductive types. The use of guarded recursive types ensures the productivity of well-typed programs.
Ranald Clouston +3 more
doaj +3 more sources
q-Calculus as operational algebra; pp. 73–97 [PDF]
Proceedings of the Estonian Academy of Sciences, 2009 This second paper on operational calculus is a continuation of Ernst, T. q-Analogues of some operational formulas. Algebras Groups Geom., 2006, 23(4), 354â374. We find multiple q-analogues of formulas in Carlitz, L.
Thomas Ernst
doaj +1 more source
Operational Calculus for the General Fractional Derivatives of Arbitrary Order
Mathematics, 2022 In this paper, we deal with the general fractional integrals and the general fractional derivatives of arbitrary order with the kernels from a class of functions that have an integrable singularity of power function type at the origin.
Maryam Al-Kandari +2 more
doaj +1 more source
An operational calculus for the Mould operad [PDF]
, 2007 The operad of moulds is realized in terms of an operational calculus of formal integrals (continuous formal power series). This leads to many simplifications and to the discovery of various suboperads.
Chapoton, Frédéric +3 more
core +4 more sources
Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces [PDF]
Scientific Annals of Computer Science, 2014 In this paper we use finite vector spaces (finite dimension, over finite fields) as a non-standard computational model of linear logic. We first define a simple, finite PCF-like lambda-calculus with booleans, and then we discuss two finite models, one ...
B. Valiron, S. Zdancewic
doaj +1 more source
ASMs and Operational Algorithmic Completeness of Lambda Calculus [PDF]
, 2010 We show that lambda calculus is a computation model which can step by step simulate any sequential deterministic algorithm for any computable function over integers or words or any datatype.
A. Church +18 more
core +4 more sources
Psi-calculi: a framework for mobile processes with nominal data and logic [PDF]
Logical Methods in Computer Science, 2011 The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processes and their names can be statically scoped as in the standard pi-calculus.
Jesper Bengtson +3 more
doaj +1 more source