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

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

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

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

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

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

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

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

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

Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets: Using logic programs with stable model semantics to solve deadlock and reachability problems for 1-safe Petri nets

Authors: Keijo Heljanko

Source: Lecture Notes in Computer Science ISBN: 9783540657033

Subject Terms: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, Petri nets, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences

File Description: application/xml

Access URL: https://link.springer.com/content/pdf/10.1007%2F3-540-49059-0_17.pdf
https://zbmath.org/1337888
https://link.springer.com/10.1007/3-540-49059-0_17
http://lib.tkk.fi/Diss/2002/isbn9512258935/article1.pdf
https://link.springer.com/content/pdf/10.1007/3-540-49059-0_17.pdf
https://link.springer.com/chapter/10.1007%2F3-540-49059-0_17
https://dblp.uni-trier.de/db/conf/tacas/tacas99.html#Heljanko99
https://rd.springer.com/chapter/10.1007%2F3-540-49059-0_17
https://researchportal.helsinki.fi/en/publications/using-logic-programs-with-stable-model-semantics-to-solve-deadloc
https://dblp.uni-trier.de/db/journals/fuin/fuin37.html#Heljanko99
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.baztech-article-BUS1-0007-0016
https://content.iospress.com/articles/fundamenta-informaticae/fi37-3-04

Linear behaviour of term graph rewriting programs

Authors: Banach, Richard Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Contributors: Banach, Richard Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Source: Proceedings of the ACM Symposium on Applied Computing
Proceedings of the 1995 ACM Symposium on Applied Computing

Subject Terms: Graph theory, Computer programming languages, Mathematical models, Linear concurrent programming, Linear programming, Computational methods, Computer architecture, Logic programming, Term graph rewriting (TGR) system

Access URL: http://gnosis.library.ucy.ac.cy/handle/7/53605

Relating State-Based and Process-Based Concurrency through Linear Logic

Authors: Andre Scedrov Iliano Cervesato

Source: Electronic Notes in Theoretical Computer Science. 165:145-176

Subject Terms: FOS: Computer and information sciences, 0202 electrical engineering, electronic engineering, information engineering, Linear logic, 89999 Information and Computing Sciences not elsewhere classified, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, process algebra, 01 natural sciences, multiset rewriting, Theoretical Computer Science, Computer Science(all)

Access URL: https://dblp.uni-trier.de/db/journals/entcs/entcs165.html#CervesatoS06
http://repository.cmu.edu/cgi/viewcontent.cgi?article=1000&context=compsci
https://www.sciencedirect.com/science/article/pii/S1571066106005202
https://core.ac.uk/display/21176579
http://repository.cmu.edu/compsci/3/
https://www.sciencedirect.com/science/article/abs/pii/S1571066106005202

MELD: A Logical Approach to Distributed and Parallel Programming

Authors: CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE Goldstein, Seth C Cruz, Flavio

Source: DTIC

Index Terms: Computer Programming and Software, Computer Systems, COMPUTER PROGRAMMING, DISTRIBUTED COMPUTING, METRICS, PARALLEL PROCESSING, PROGRAMMING LANGUAGES, CLUSTERING, COMPUTER LOGIC, OPTIMIZATION, PARALLEL PROCESSORS, TEST AND EVALUATION, VIRTUALIZATION, MELD PROGRAMMING LANGUAGE, PARALLEL PROGRAMMING, LOGIC PROGRAMMING, PARALLEL SYSTEMS, DISTRIBUTED SYSTEMS, LINEAR LOGIC, LOCALIZATION, LOCAL AGGREGATES, NEIGHBORHOOD AGGREGATES, EXECUTION MODEL, GRAPH CLUSTERING, MULTITHREADED EXECUTION, DISTRIBUTED COMPUTATION, VIRTUAL MACHINES, PE61101E, WUAFRLBI20CMU0, Text

URL: https://apps.dtic.mil/docs/citations/ADA557801

Agent-Oriented Programming in Linear Logic: An Example

Authors: James Harland Abdullah-Al Amin Michael Winikoff

Source: Lecture Notes in Computer Science ISBN: 9783540679257

Access URL: https://link.springer.com/chapter/10.1007/3-540-44533-1_106
https://link.springer.com/content/pdf/10.1007%2F3-540-44533-1_106.pdf
http://core.ac.uk/display/22830624
https://dblp.uni-trier.de/db/conf/pricai/pricai2000.html#AminWH00