Search Results - distributed concurrent linear logic programming*

Distributed concurrent linear logic programming

Authors: N. Kobayashi T. Shimizu A. Yonezawa

Source: Theoretical Computer Science. 227:185-220

Subject Terms: Concurrency, Theory of programming languages, Distributed computation, Linear logic, Proof-theoretic aspects of linear logic and other substructural logics, Linear logic programming, distributed concurrent linear logic programming, Logic programming, Theoretical Computer Science, Computer Science(all)

File Description: application/xml

Access URL: https://dblp.uni-trier.de/db/journals/tcs/tcs227.html#KobayashiSY99
https://www.sciencedirect.com/science/article/pii/S0304397599000523

Distributed Concurrent Linear Logic Programming.

Authors: Kobayashi, Naoki

Index Terms: Journal Article., NA.

URL: http://t2r2.star.titech.ac.jp/cgi-bin/publicationinfo.cgi?q_publication_content_number=CTT100450394

Distributed Concurrent Linear Logic Programming

Source: Distributed Concurrent Linear Logic Programming. 227(2):185-220

Linear Concurrent Constraint Programming: Operational and Phase Semantics: Linear concurrent constraint programming: Operational and phase semantics

Authors: Fages, François Ruet, Paul Soliman, Sylvain

Contributors: Fages, François Ruet, Paul Soliman, Sylvain

Source: Information and Computation. 165:14-41

Subject Terms: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.), Semantics in the theory of computing, Proof-theoretic aspects of linear logic and other substructural logics, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Theoretical Computer Science, Computer Science Applications, Computational Theory and Mathematics, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), 0202 electrical engineering, electronic engineering, information engineering, Information Systems

File Description: application/xml; application/pdf

Dynamic Spaces in Concurrent Constraint Programming

Authors: Nigam, Vivek Pimentel, Elaine Gouvea Vega, Carlos Alberto Olarte

Source: Electronic Notes in Theoretical Computer Science

Subject Terms: Mobility, 2. Zero hunger, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, Linear Logic, 01 natural sciences, Theoretical Computer Science, Distributed Spaces, Subexponentials, 0202 electrical engineering, electronic engineering, information engineering, Concurrent Constraint Programming, Computer Science(all)

File Description: application/pdf

Access URL: https://core.ac.uk/display/82331881
http://www.nigam.info/docs/lsfa-2013.pdf
https://repositorio.ufrn.br/jspui/handle/123456789/29778
https://doi.org/10.1016/j.entcs.2014.06.008
https://repositorio.ufrn.br/bitstream/123456789/29778/1/DynamicSpacesProgramming_VEGA_2014.pdf
https://www.sciencedirect.com/science/article/abs/pii/S1571066114000541

Session-based concurrency, declaratively

Authors: Mauricio Cano Hugo A. López Jorge A. Pérez et al.

Source: Cano, M, Lopez, H A, Perez, J A & Rueda, C 2022, ' Session-based concurrency, declaratively ', Acta Informatica, vol. 59, pp. 37–123 . https://doi.org/10.1007/s00236-021-00395-w

Subject Terms: Artificial intelligence, Computer Networks and Communications, Session types, Geometry, 0102 computer and information sciences, 02 engineering and technology, Type Inference, 01 natural sciences, Theoretical computer science, Artificial Intelligence, Concurrency, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Constraint (computer-aided design), Encoding (memory), Theory of computation, CC-PI, 4. Education, Expressiveness, 16. Peace & justice, Linear Logic, Computer science, Session (web analytics), Programming language, Algorithm, World Wide Web, Computational Theory and Mathematics, Computer Science, Physical Sciences, Concurrent Constraint Programming, Program Analysis and Verification Techniques, Correctness, Distributed Fault Tolerance and Consistency in Systems, Mathematics, Formal Methods in Software Verification and Control

File Description: application/pdf

Access URL: https://link.springer.com/content/pdf/10.1007/s00236-021-00395-w.pdf
https://research.rug.nl/en/publications/7f3841f9-25f4-409c-a6ca-4d2e127342f8
https://hdl.handle.net/11370/7f3841f9-25f4-409c-a6ca-4d2e127342f8
https://doi.org/10.1007/s00236-021-00395-w
https://www.narcis.nl/publication/RecordID/oai%3Acwi.nl%3A30714
https://link.springer.com/content/pdf/10.1007/s00236-021-00395-w.pdf
https://link.springer.com/article/10.1007/s00236-021-00395-w
https://curis.ku.dk/ws/files/297603582/Session_based_concurrency_declaratively.pdf

ScaLAPACK: A scalable linear algebra library for distributed memory concurrent computers

Contributors: Pozo, R [Tennessee Univ., Knoxville, TN (United States). Dept. of Computer Science]

Source: Conference: 4. symposium on frontiers of massively parallel computing, McLean, VA (United States), 19-21 Oct 1992

File Description: Medium: X; Size: Pages: (9 p)

Access URL: http://www.osti.gov/scitech/biblio/7181760

Sequentiality vs. concurrency in games and logic

Authors: Abramsky, S

Source: Mathematical Structures in Computer Science. 13:531-565

Subject Terms: FOS: Computer and information sciences, Logic in computer science, Computer Science - Logic in Computer Science, Quantum Physics, FOS: Physical sciences, Proof-theoretic aspects of linear logic and other substructural logics, Mathematics - Logic, 0102 computer and information sciences, 16. Peace & justice, Logic programming, 01 natural sciences, Logic in Computer Science (cs.LO), Blass games, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), Applications of game theory, FOS: Mathematics, 0101 mathematics, Logic (math.LO), Quantum Physics (quant-ph)

File Description: application/xml

Access URL: http://arxiv.org/pdf/1111.7159
http://arxiv.org/abs/1111.7159
https://dialnet.unirioja.es/servlet/articulo?codigo=661888
https://arxiv.org/abs/1111.7159
https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/sequentiality-vs-concurrency-in-games-and-logic/1DD38227B77FDB51A9A87ADC0054255F
https://dblp.uni-trier.de/db/journals/corr/corr1111.html#abs-1111-7159
http://www.journals.cambridge.org/abstract_S0960129503003980
https://www.arxiv-vanity.com/papers/1111.7159/
https://arxiv.org/abs/1111.7159
https://arxiv.org/pdf/1111.7159.pdf
https://ui.adsabs.harvard.edu/abs/2011arXiv1111.7159A/abstract
https://ora.ox.ac.uk/objects/uuid:0e478f62-6083-4152-b13a-38d9060e12ea

Distributed Concurrent Linear Logic Programming

Authors: Naoki Kobayashi Toshihiro Shimizu Akinori Yonezawa et al.

Contributors: Naoki Kobayashi Toshihiro Shimizu Akinori Yonezawa et al.

Source: http://www.yl.is.s.u-tokyo.ac.jp/~koba/papers/TCS_DCLL.ps.gz.

Subject Terms: Programming

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.9845

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.9845
http://www.yl.is.s.u-tokyo.ac.jp/~koba/papers/TCS_DCLL.ps.gz

Rewritings for Polarized Multiplicative and Exponential Proof Structures

Authors: Fouqueré, Christophe Mogbil, Virgile Ian Mackie and Detlef Plump et al.

Contributors: Fouqueré, Christophe Mogbil, Virgile Ian Mackie and Detlef Plump et al.

Source: Electronic Notes in Theoretical Computer Science. 203:109-121

Subject Terms: proof-nets, [INFO.INFO-DC]Computer Science [cs]/Distributed, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], focalization, 0102 computer and information sciences, Parallel, 01 natural sciences, Theoretical Computer Science, logic programming, and Cluster Computing [cs.DC], linear logic, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0101 mathematics, concurrent execution, Computer Science(all)

File Description: application/pdf

Access URL: https://core.ac.uk/display/82248796
https://www.sciencedirect.com/science/article/abs/pii/S1571066108001424
https://dblp.uni-trier.de/db/journals/entcs/entcs203.html#FouquereM08
https://hal.archives-ouvertes.fr/hal-00143929
https://hal.archives-ouvertes.fr/hal-00143929/document
https://www.sciencedirect.com/science/article/pii/S1571066108001424
https://hal.science/hal-00143929v1
https://hal.science/hal-00143929v1/document
https://doi.org/10.1016/j.entcs.2008.03.037

Distributed Concurrent Linear Logic Programming

Authors: N. Kobayashi T. Shimizu A. Yonezawa

Relation: oai:t2r2.star.titech.ac.jp:00053673

Availability: http://t2r2.star.titech.ac.jp/cgi-bin/publicationinfo.cgi?q_publication_content_number=CTT100450394

A Linear Logic Programming Language for Concurrent Programming over Graph Structures.

Authors: CRUZ, FLAVIO ROCHA, RICARDO GOLDSTEIN, SETH COPEN et al.

Source: Theory & Practice of Logic Programming; Jul2014, Vol. 14 Issue 4/5, p493-507, 15p

Subject Terms: LOGIC programming languages, COMPUTER multitasking, GRAPH theory, DATA structures, SEMANTICS, LINEAR systems, ALGORITHMS

A Study of Abramsky’s Linear Chemical Abstract Machine: A study of Abramsky's linear chemical abstract machine

Authors: Yohji Akama Seikoh Mikami

Source: Lecture Notes in Computer Science ISBN: 9783540657637

Subject Terms: 4. Education, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), Combinatory logic and lambda calculus, Proof-theoretic aspects of linear logic and other substructural logics, Functional programming and lambda calculus

File Description: application/xml

Access URL: https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/63002/1/1096-6.pdf
https://zbmath.org/1511940
https://link.springer.com/chapter/10.1007%2F3-540-48959-2_18
https://dblp.uni-trier.de/db/conf/tlca/tlca99.html#MikamiA99
https://link.springer.com/content/pdf/10.1007%2F3-540-48959-2_18.pdf
http://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/63002
https://tohoku.pure.elsevier.com/en/publications/a-study-of-abramskys-linear-chemical-abstract-machine
https://rd.springer.com/chapter/10.1007%2F3-540-48959-2_18

On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems.

Authors: Bellin, Gianluigi Menti, Alessandro

Source: Fundamenta Informaticae; 2014, Vol. 130 Issue 1, p21-65, 45p

Subject Terms: CALCULUS, INTUITIONISTIC mathematics, ENCODING, LINEAR systems, MATHEMATICAL proofs, DISTRIBUTED computing, PROGRAMMING languages

Subexponentials in non-commutative linear logic.

Authors: KANOVICH, MAX KUZNETSOV, STEPAN NIGAM, VIVEK et al.

Source: Mathematical Structures in Computer Science; Sep2019, Vol. 29 Issue 8, p1217-1249, 33p

Subject Terms: LINEAR programming, PROGRAMMING languages, LOGIC, PROOF theory, NONCOMMUTATIVE algebras

Interpolation in Linear Logic and Related Systems.

Authors: Fussner, Wesley Santschi, Simon

Source: ACM Transactions on Computational Logic; Oct2024, Vol. 25 Issue 4, p1-19, 19p

Subject Terms: LOGIC, MODAL logic, RESIDUATED lattices, INTERPOLATION, CALCULUS

Dynamic Spaces in Concurrent Constraint Programming.

Authors: Olarte, Carlos Nigam, Vivek Pimentel, Elaine

Source: ENTCS: Electronic Notes in Theoretical Computer Science. Jul2014, Vol. 305, p103-121. 19p.

Subject Terms: Constraint programming, Cloud computing, Computer security, Social networks, Communication, Computer systems

Relating state-based and process-based concurrency through linear logic (full-version)

Authors: Cervesato, Iliano Scedrov, Andre

Source: Information & Computation. Oct2009, Vol. 207 Issue 10, p1044-1077. 34p.

Subject Terms: *MATHEMATICAL logic, *SEQUENTIAL processing (Computer science), *COMPUTER programming, *MATHEMATICAL transformations, *DUALITY theory (Mathematics), *PROGRAMMING language semantics

Flexible Agent Programming in Linear Logic

Authors: José Juan Palacios Pérez

Source: Lecture Notes in Computer Science ISBN: 9783540434757

Access URL: https://link.springer.com/chapter/10.1007/3-540-46016-0_27
https://rd.springer.com/chapter/10.1007/3-540-46016-0_27
https://dblp.uni-trier.de/db/conf/micai/micai2002.html#Perez02

Reciprocal Influences Between Proof Theory and Logic Programming.

Authors: Miller, Dale

Source: Philosophy & Technology; Mar2021, Vol. 34 Issue 1, p75-104, 30p

Subject Terms: LOGIC programming, PROOF theory, CALCULUS