BRICS

Results: 891



#Item
321

BRICS Basic Research in Computer Science BRICS RSDoh & Mosses: Composing Programming Languages by Combining Action-Semantics Modules Composing Programming Languages by

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2004-02-12 10:20:36
    322

    BRICS Basic Research in Computer Science BRICS RSG. Winskel: A Linear Metalanguage for Concurrency A Linear Metalanguage for Concurrency

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 1999-02-24 18:14:31
      323

      Algebraic Process Calculi: The First Twenty Five Years and Beyond (Short Contributions)

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 2005-08-01 03:00:23
        324

        BRICS Basic Research in Computer Science BRICS RSDamian & Danvy: On the Impact of the CPS Transformation Syntactic Accidents in Program Analysis:

        Add to Reading List

        Source URL: www.brics.dk

        Language: English - Date: 2001-02-26 07:48:22
          325

          BRICS Basic Research in Computer Science BRICS RSJ. Srba: Note on the Tableau Technique for Commutative Transition Systems Note on the Tableau Technique for

          Add to Reading List

          Source URL: www.brics.dk

          Language: English - Date: 2002-01-11 08:42:18
            326

            BRICS Basic Research in Computer Science BRICS RSP. D. Mosses: Semantics, Modularity, and Rewriting Logic Semantics, Modularity, and Rewriting Logic

            Add to Reading List

            Source URL: www.brics.dk

            Language: English - Date: 1999-03-25 08:38:10
              327

              BRICS Basic Research in Computer Science BRICS RS-01-9 Brabrand et al.: Static Validation of Dynamically Generated HTML

              Add to Reading List

              Source URL: www.brics.dk

              Language: English - Date: 2001-03-14 07:49:29
                328

                BRICS RS-06-3 Biernacka & Danvy: A Concrete Framework for Environment Machines BRICS Basic Research in Computer Science

                Add to Reading List

                Source URL: www.brics.dk

                Language: English - Date: 2006-02-27 06:08:28
                  329

                  BRICS Basic Research in Computer Science BRICS RSAceto et al.: A Cook’s Tour of Equational Axiomatizations for Prefix Iteration A Cook’s Tour of

                  Add to Reading List

                  Source URL: www.brics.dk

                  Language: English - Date: 1999-03-21 20:54:51
                    330

                    BRICS RUSSIAADMINISTRATIVE CIRCULAR INFORMATION AND GUIDELINES FOR 5th MEETING OF BRICS HIGH REPRESENTATIVES FOR SECURITY

                    Add to Reading List

                    Source URL: brics2015.org

                    Language: English - Date: 2015-05-07 05:39:46
                      UPDATE