Paper on categorical models of temporal logic and FRP published

by Wolfgang Jeltsch

My MFPS ’12 paper Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming has just been officially published by Elsevier.

Here is my personal BibTeX entry for the paper: 

@article{jeltsch:entcs-286,
    author       = {Jeltsch, Wolfgang},
    title        = {Towards a Common Categorical Semantics for
                    Linear-Time Temporal Logic and Functional
                    Reactive Programming},
    journal      = {Electronic Notes in Theoretical Computer
                    Science},
    volume       = 286,
    pages        = {229--242},
    numpages     = 14,
    publisher    = {Elsevier},
    address      = {Amsterdam, The Netherlands},
    month        = sep,
    year         = 2012,
    issn         = {1571-0661},
    doi          = {10.1016/j.entcs.2012.08.015}
}
About these ads

One comment to Paper on categorical models of temporal logic and FRP published

  1. New paper about a generalization of FRP and causality in categorical models « Wolfgang Jeltsch says:
    November 14, 2012 at 4:07 pm

    [...] Section 2 of my MFPS paper, I presented a rather simple categorical semantics for temporal logic and FRP, which directly [...]

    Reply

When replying to another comment, please press that comment’s “Reply” button first.

Fill in your details below or click an icon to log in:

Gravatar
WordPress.com Logo

You are commenting using your WordPress.com account. ( Log Out / Change )

Twitter picture

You are commenting using your Twitter account. ( Log Out / Change )

Facebook photo

You are commenting using your Facebook account. ( Log Out / Change )

Cancel

Connecting to %s