Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 458

> Home > Journals > Theoretical Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 458, November 2012

Contributions

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AcetoCIMR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AcetoCIMR12
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers:
Rule formats for distributivity. 1-28
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BezemHT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BezemHT12
Marc Bezem, Dag Hovland, Hoang Truong:
A type system for counting instances of software components. 29-48
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ChatterjeeD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ChatterjeeD12
Krishnendu Chatterjee, Laurent Doyen:
Energy parity games. 49-60
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ChoiG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ChoiG12
Young-ri Choi, Mohamed G. Gouda:
A state-based model of sensor protocols. 61-75
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LiuL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LiuL12
Jia Liu, Huimin Lin:
A complete symbolic bisimulation for full applied pi calculus. 76-112
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MilloS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MilloS12
Jean-Vivien Millo, Robert de Simone:
Periodic scheduling of marked graphs using balanced binary words. 113-130

Note

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/HesselinkL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HesselinkL12
Wim H. Hesselink, Gerard R. Renardel de Lavalette:
Finite and infinite implementation of transition systems. 131-135

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.