Výsledky vyhledávání - "Imperative Concurrent Programming Language"

Upřesnit hledání
  1. 1

    Reversing an imperative concurrent programming language

    Autoři: Hoey, James B.

    Témata: 005.13, Imperative Concurrent Programming Language, reversible executions, programming, Structured Operational Semantics

    Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.811554

    View record in EThOS Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  2. 2

    Reversing an Imperative Concurrent Programming Language

    Autoři: Hoey, James Ulidowski, Irek

    Témata: Computer Science - Programming Languages, text

    URL: http://arxiv.org/abs/2205.01171

    View this record from OAIster Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  3. 3

    Reversing an imperative concurrent programming language

    Autoři: James Hoey Irek Ulidowski

    Zdroj: Science of Computer Programming. 223:102873

    Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Programming Languages (cs.PL)

    Přístupová URL adresa: http://arxiv.org/abs/2205.01171

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  4. 4

    Reversing an Imperative Concurrent Programming Language

    Autoři: James Hoey

    Témata: Uncategorized

    Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.811554
    https://leicester.figshare.com/articles/thesis/Reversing_an_Imperative_Concurrent_Programming_Language/12656219

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  5. 5

    Modular termination verification with a higher-order concurrent separation logic (Intermediate report)

    Autoři: Fasse, Justus Jacobs, Bart

    Témata: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, text

    URL: http://arxiv.org/abs/2212.14126

    View this record from OAIster Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  6. 6

    Modular termination verification with a higher-order concurrent separation logic (Intermediate report)

    Autoři: Fasse, Justus Jacobs, Bart

    Zdroj: arXiv

    Popis souboru: application/pdf

    Relation: https://lirias.kuleuven.be/handle/20.500.12942/713013

    Dostupnost: https://lirias.kuleuven.be/handle/20.500.12942/713013
    https://hdl.handle.net/20.500.12942/713013
    https://lirias.kuleuven.be/retrieve/3ba78ca3-d84e-4c42-9f3a-66c7be6fecf3

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  7. 7

    Calculi for higher order communicating systems

    Autoři: Thomsen, Bent Abramsky, Samson Phillips, Iain

    Přispěvatelé: Thomsen, Bent Abramsky, Samson Phillips, Iain

    Témata: 004.01

    Přístupová URL adresa: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.243859

    View record in EThOS Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  8. 8

    From Box Algebra to Interval Temporal Logic.

    Autoři: Klaudel, Hanna Koutny, Maciej Duan, Zhenhua a další

    Zdroj: Fundamenta Informaticae; 2019, Vol. 167 Issue 4, p323-354, 32p

    Témata: ALGEBRA, LOGIC, SYSTEM analysis, BOXES, PETRI nets, MATHEMATICAL equivalence, LABELS

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  9. 9

    PARLOG86 AND THE DINING LOGICIANS.

    Autoři: Ringwood, G.A.

    Zdroj: Communications of the ACM; Jan1988, Vol. 31 Issue 1, p10-25, 16p, 11 Diagrams, 1 Chart

    Témata: PROLOG (Computer program language), LOGIC programming languages, ARTIFICIAL intelligence, COMPUTER operating systems, INTELLIGENT agents, ALGORITHMS, AUTOMATION

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  10. 10

    Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models.

    Autoři: Abe, Tatsuya Maeda, Toshiyuki

    Zdroj: Programming Languages & Systems (9783319479576); 2016, p63-84, 22p

    Přidat do oblíbených
  11. 11

    The typing of communicating sequential processes

    Autoři: Li Wenjun Zhou Xiaocong Li Shixian

    Zdroj: Proceedings Technology of Object-Oriented Languages and Systems (Cat. No.PR00393). :61-66

    Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

    Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/tools/tools31-1999.html#LiZL99

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  12. 12

    A Unified Theory of Program Logics: An Approach based on the π-Calculus1.

    Autoři: Honda, Kohei Yoshida, Nobuko

    Zdroj: Computer Journal; Jan2011, Vol. 54 Issue 1, p88-107, 20p

    Témata: GRAND unified theories (Nuclear physics), LOGIC, CALCULUS, COMPUTER software, SOFTWARE engineering, SEMANTICS, INFORMATION processing

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  13. 13

    The typing of communicating sequential processes.

    Autoři: Li Wenjun Zhou Xiaocong Li Shixian

    Zdroj: Proceedings Technology of Object-Oriented Languages & Systems (Cat NoPR00393); 1999, p61-66, 6p

    Full Text Finder
    Přidat do oblíbených
  14. 14

    Timed-event abstraction and timing constraints in distributed real-time programming.

    Autoři: Hooman, J. van Roosmalen, O.

    Zdroj: Proceedings Third International Workshop on Object-Oriented Real-Time Dependable Systems; 1997, p153-160, 8p

    Full Text Finder
    Přidat do oblíbených
  15. 15

    An Approach to Platform Independent Real-Time Programming: (1) Formal Description.

    Autoři: Hooman, Jozef Roosmalen, Onno

    Zdroj: Real-Time Systems; Jul2000, Vol. 19 Issue 1, p61-85, 25p

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  16. 16

    Verification of Safety Properties Using Integer Programming: Beyond the State Equation.

    Autoři: Esparza, Javier Melzer, Stephan

    Zdroj: Formal Methods in System Design; Mar2000, Vol. 16 Issue 2, p159-189, 31p

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  17. 17

    Verification using PEP

    Autoři: Stephan Melzer Stefan Römer Javier Esparza a další

    Přispěvatelé: Stephan Melzer Stefan Römer Javier Esparza a další

    Zdroj: http://www.informatik.uni-stuttgart.de/fmi/szs/publications/esparza/amast_96.ps.gz.

    Témata: Key Words, Verification, Net Unfoldings, Linear Programming

    Popis souboru: application/postscript

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

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.9689
    http://www.informatik.uni-stuttgart.de/fmi/szs/publications/esparza/amast_96.ps.gz

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  18. 18

    A calculus of higher order communicating systems

    Autoři: Bent Thomsen

    Zdroj: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89. :143-154

    Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

    Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/popl/popl89.html#Thomsen89
    http://portal.acm.org/citation.cfm?doid=75277.75290
    https://dl.acm.org/doi/10.1145/75277.75290

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  19. 19

    Reversible Computation: Extending Horizons of Computing

    Autoři: Irek Ulidowski Ivan Lanese Ulrik Pagh Schultz a další

    Resource Type: eBook.

    Témata: Reversible computing

    Categories: COMPUTERS / Logic Design, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Operating Systems / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

    Plný text ve formátu PDF Plný text ve formátu ePub
    Přidat do oblíbených
  20. 20

    Calculus of higher order communicating systems

    Autoři: Thomsen, Bent

    Zdroj: Thomsen, B 1989, Calculus of higher order communicating systems. in Conf Rec Sixteenth Annu ACM Symp Princ Program Lang. Publ by ACM, Conf Rec Sixteenth Annu ACM Symp Princ Program Lang, pp. 143-154, Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, TX, USA, 11/01/1989.

    Relation: info:eu-repo/semantics/altIdentifier/isbn/0897912942; urn:ISBN:0897912942

    Dostupnost: https://vbn.aau.dk/da/publications/92226d53-6922-47b2-9138-3ebad389ab19
    https://www.scopus.com/pages/publications/0024864872

    View record from BASE Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených

Vyhledávací nástroje: